The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (Extended Abstract) (1998)

by Joachim Parrow , Björn Victor
Venue:LICS'98
Citations:108 - 13 self

Documents Related by Co-Citation

1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
448 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
50 Explicit Fusions – Lucian Wischik, Philippa Gardner - 2000
363 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
63 2001): Bigraphical Reactive Systems – Robin Milner
262 Expressing mobility in process algebras: First-order and higherorder paradigms – D Sangiorgi - 1992
163 Interaction nets – Y Lafont - 1990
12 From process calculi to process frameworks – P A Gardner - 2000
150 Elements of Interaction – Robin Milner - 1993
56 Bigraphs and transitions – O H Jensen, R Milner - 2003
814 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
116 Deriving Bisimulation Congruences for Reactive Systems – James J. Leifer, Robin Milner - 2000
34 Operational congruences for reactive systems – James Judi Leifer - 2001
43 Shapely Hierarchical Graph Transformation – Berthold Hoffmann - 2001
25 Process algebras with localities – I Castellani - 2001
13 Contexts and Embeddings for Closed Shallow Action Graphs – Gian Luca Cattani, James J. Leifer, Robin Milner - 2000
103 Nomadic Pict: Language and Infrastructure Design for Mobile Agents – Pawel T. Wojciechowski, Peter Sewell - 1999
71 From Rewrite Rules to Bisimulation Congruences – Peter Sewell - 1998