PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Hennessy, Matthew"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Proof Systems for Message-Passing Process Algebras.

, und . Formal Asp. Comput., 8 (4): 379-407 (1996)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Ph. D. Matthew Millard University of Stuttgart

Matthew Joliffe University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Proof Systems for Message-Passing Process Algebras., und . Formal Asp. Comput., 8 (4): 379-407 (1996)Adding recursion to Dpi., und . Theor. Comput. Sci., 373 (3): 182-212 (2007)A Mathematical Semantics for a Nondeterministic Typed lambda-Calculus., und . Theor. Comput. Sci., (1980)Towards a behavioural theory of access and mobility control in distributed systems., , und . Theor. Comput. Sci., 322 (3): 615-669 (2004)Acceptance Trees. J. ACM, 32 (4): 896-928 (Oktober 1985)Real-Reward Testing for Probabilistic Processes (Extended Abstract), , , und . QAPL, Volume 57 von EPTCS, Seite 61-73. (2011)Communication Primitives in Programming and Specification Languages.. Networking in Open Systems, Volume 248 von Lecture Notes in Computer Science, Seite 223-251. Springer, (1986)Compositional Reasoning for Markov Decision Processes - (Extended Abstract)., und . FSEN, Volume 7141 von Lecture Notes in Computer Science, Seite 143-157. Springer, (2011)Towards a Semantic Theory of CML (Extended Abstract)., und . MFCS, Volume 969 von Lecture Notes in Computer Science, Seite 454-466. Springer, (1995)The Power of the Future Perfect in Program Logics., und . MFCS, Volume 176 von Lecture Notes in Computer Science, Seite 301-311. Springer, (1984)