Artikel in einem Konferenzbericht,

On the Expressiveness and Decidability of Higher-Order Process Calculi.

, , , und .
LICS, Seite 145-155. IEEE Computer Society, (2008)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen