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

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

Documents Related by Co-Citation

1008 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
458 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
3451 Communicating Sequential Processes – C. A. R. Hoare - 1985
362 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
816 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
1351 A calculus of communicating systems – R Milner - 1980
51 Explicit Fusions – Lucian Wischik, Philippa Gardner - 2000
3242 Communication and Concurrency – R Milner - 1989
662 Concurrency and automata on infinite sequences – D Park - 1981