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

Active Bibliography

9 Constraints as Processes – Björn Victor, Joachim Parrow - 1996
72 The Update Calculus – Joachim Parrow, Björn Victor - 1997
88 On Asynchrony in Name-Passing Calculi – Massimo Merro, Davide Sangiorgi - 1998
13 Asynchronous process calculi: the first-order and higher-order paradigms (Tutorial) – Davide Sangiorgi - 1999
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
10 Concurrent Constraints in the Fusion Calculus (Extended Abstract) – Björn Victor, Joachim Parrow - 1998
3 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
62 Bisimulation for higher-order process calculi – Davide Sangiorgi - 1996
5 Description and Verification of Mobile Processes with Graph Rewriting Techniques – Barbara König
2 On the observational theory of the CPS-calculus ∗ – Massimo Merro
97 Decoding Choice Encodings – Uwe Nestmann, Benjamin C. Pierce - 1999
9 Tau laws for pi calculus – Yuxi Fu, Zhenrong Yang
13 Minimality and Separation Results on Asynchronous Mobile Processes - Representability Theorems by Concurrent Combinators (Extended Abstract) – Nobuko Yoshida - 1998
5 Locality and Polyadicity in Asynchronous Name-Passing Calculi – Massimo Merro - 2000
36 A Congruence Theorem for Structured Operational Semantics of Higher-Order Languages – Karen L. Bernstein - 1997
Non-deterministic Lazy it λ-calculus VS it π-calculus – Carolina Lavatelli - 1993
11 An investigation into Functions as Processes – Davide Sangiorgi - 1993
64 The π-Calculus in Direct Style – Gerard Boudol - 1997
6 From π-calculus to Higher-Order π-calculus -- and back – Davide Sangiorgi