|
933
|
Bigraphs and Mobile Processes
– Ole Høgh Jensen, Robin Milner
- 2003
|
|
426
|
The Chemical Abstract Machine
– Gérard Berry, Gérard Boudol
- 1998
|
|
42
|
Explicit Fusions
– Lucian Wischik, Philippa Gardner
- 2000
|
|
3119
|
Communicating Sequential Processes
– C. A. R. Hoare
- 2004
|
|
341
|
An Object Calculus for Asynchronous Communication
– Kohei Honda, Mario Tokoro
- 1991
|
|
238
|
Expressing Mobility in Process Algebras: First-Order and HigerOrder Paradigms
– D Sangiorgi
- 1992
|
|
150
|
Interaction nets
– Y Lafont
- 1990
|
|
12
|
From process calculi to process frameworks
– P A Gardner
- 2000
|
|
135
|
Elements of Interaction
– Robin Milner
- 1993
|
|
1225
|
A Calculus of Communicating Systems
– R Milner
- 1980
|
|
725
|
Mobile ambients
– Luca Cardelli, Andrew D. Gordon
- 1998
|
|
13
|
Contexts and Embeddings for Closed Shallow Action Graphs
– Gian Luca Cattani, James J. Leifer, Robin Milner
- 2000
|
|
110
|
Deriving Bisimulation Congruences for Reactive Systems
– James J. Leifer, Robin Milner
- 2000
|
|
39
|
Shapely Hierarchical Graph Transformation
– Berthold Hoffmann
- 2001
|
|
57
|
Bigraphical reactive systems
– R Milner
- 2001
|
|
83
|
The reflexive CHAM and the join-calculus
– Cedric Fournet , Georges Gonthier
|
|
101
|
Nomadic Pict: Language and Infrastructure Design for Mobile Agents
– Pawel T. Wojciechowski, Peter Sewell
- 1999
|
|
31
|
Operational congruences for reactive systems
– James Judi Leifer
- 2001
|
|
25
|
Process algebras with localities
– I Castellani
- 2001
|
