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

995 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
453 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
3410 Communicating Sequential Processes – C. A. R. Hoare - 1985
361 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
811 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
1332 A Calculus of Communicating Systems – R Milner - 1982
50 Explicit Fusions – Lucian Wischik, Philippa Gardner - 2000
3217 Communication and Concurrency – R MILNER - 1989
656 Concurrency and automata on infinite sequences – D Park - 1981