( en | de | ru )

 

Disambiguierung von "Milner, Robin"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Calculus of Mobile Processes, parts I and II

, , und . Inf. Comput., 100 (1): 1-77 (September 1992)

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.

Rosanna Milner

Vincent Robin

Claus Robinski

Nehemia Robinson

Meinhard Robinow

 

Weitere Publikationen von Autoren mit dem selben Namen

Definition of standard ML., , und . MIT Press, (1990)Control Structures: a Model of Interaction.. Category Theory and Computer Science, Volume 953 von Lecture Notes in Computer Science, Seite 1-2. Springer, (1995)Concurrent Processes as Objects (Abstract).. VDM Europe (1), Volume 551 von Lecture Notes in Computer Science, Seite 9. Springer, (1991)Graphical Calculi for Interaction (Abstract).. ICALP, Volume 1256 von Lecture Notes in Computer Science, Seite 1. Springer, (1997)Functions as Processes.. ICALP, Volume 443 von Lecture Notes in Computer Science, Seite 167-180. Springer, (1990)Synthesis of Communicating Behaviour.. MFCS, Volume 64 von Lecture Notes in Computer Science, Seite 71-83. Springer, (1978)Dialogue with a Proof System.. TAPSOFT, Vol.1, Volume 249 von Lecture Notes in Computer Science, Seite 271-275. Springer, (1987)The Spectra of Words.. Processes, Terms and Cycles, Volume 3838 von Lecture Notes in Computer Science, Seite 1-5. Springer, (2005)Concurrent Processes and Their Syntax., und . J. ACM, 26 (2): 302-321 (1979)Modal Logics for Mobile Processes., , und . CONCUR, Volume 527 von Lecture Notes in Computer Science, Seite 45-60. Springer, (1991)