|
290
|
Functions as processes
– R Milner
- 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
|
|
1008
|
Actors: a model of concurrent computation in distributed systems
– Gul Agha
- 1986
|
|
229
|
Typing and Subtyping for Mobile Processes
– Benjamin Pierce , Davide Sangiorgi
- 1996
|
|
396
|
Obliq - A language with distributed scope
– Luca Cardelli
- 1995
|
|
2972
|
Communication and Concurrency
– R Milner
- 1989
|
|
72
|
Concurrent Objects in a Process Calculus
– Benjamin C. Pierce, David N. Turner
- 1995
|
|
3119
|
Communicating Sequential Processes
– C. A. R. Hoare
- 2004
|
|
238
|
Pict: A programming language based on the pi-calculus
– Benjamin C. Pierce, David N. Turner
- 1997
|
|
16
|
Combinatory Representation of Mobile Processes
– Kohei Honda, Nobuko Yoshida
- 1994
|
|
1225
|
A Calculus of Communicating Systems
– R Milner
- 1980
|
|
267
|
The Polyadic ?-calculus: A Tutorial
– R Milner
- 1993
|
|
192
|
Barbed Bisimulation
– Robin Milner, Davide Sangiorgi, Edinburgh Eh Jz
- 1992
|
|
90
|
A pi-calculus semantics for an object-based design notation
– C B Jones
|
|
53
|
A Calculus of Communicating Systems with Label Passing
– Uffe Engberg, Mogens Nielsen
- 1986
|
|
113
|
An Asynchronous Model of Locality, Failure, and Process Mobility
– Roberto M. Amadio, Roberto M. Amadio, Projet Meije
- 1997
|
|
12
|
A Typed Higher-Order Programming Language Based on the Pi-Calculus
– Benjamin C. Pierce, Didier Rémy, David N. Turner
- 1993
|
|
599
|
Concurrency and automata on infinite sequences
– D Park
- 1981
|
