|
341
|
An Object Calculus for Asynchronous Communication
– Kohei Honda, Mario Tokoro
- 1991
|
|
267
|
The Polyadic ?-calculus: A Tutorial
– R Milner
- 1993
|
|
2972
|
Communication and Concurrency
– R Milner
- 1989
|
|
229
|
Typing and Subtyping for Mobile Processes
– Benjamin Pierce , Davide Sangiorgi
- 1996
|
|
192
|
Barbed Bisimulation
– Robin Milner, Davide Sangiorgi, Edinburgh Eh Jz
- 1992
|
|
933
|
Bigraphs and Mobile Processes
– Ole Høgh Jensen, Robin Milner
- 2003
|
|
426
|
The Chemical Abstract Machine
– Gérard Berry, Gérard Boudol
- 1998
|
|
150
|
Interaction nets
– Y Lafont
- 1990
|
|
10
|
Replication in Concurrent Combinators
– Kohei Honda, Nobuko Yoshida
- 1994
|
|
119
|
Linearity and the Pi-Calculus
– Naoki Kobayashi, Benjamin C. Pierce, David N. Turner
- 1999
|
|
238
|
Pict: A programming language based on the pi-calculus
– Benjamin C. Pierce, David N. Turner
- 1997
|
|
172
|
A Calculus of Mobile Processes, Part I
– Robin Milner, Joachim Parrow, David Walker
- 1989
|
|
290
|
Functions as processes
– R Milner
- 1992
|
|
123
|
On reduction-based process semantics
– Kohei Honda, Nobuko Yoshida
- 1995
|
|
367
|
The ⇡-calculus: A Theory of Mobile Processes
– Davide Sangiorgi, David Walker
- 2001
|
|
213
|
CML: A Higher-Order Concurrent Language
– J H Reppy
- 1991
|
|
1008
|
Actors: a model of concurrent computation in distributed systems
– Gul Agha
- 1986
|
|
42
|
Asynchrony and the -calculus (note). Rapport de Recherche 1702
– G Boudol
- 1992
|
|
3119
|
Communicating Sequential Processes
– C. A. R. Hoare
- 2004
|
