Bisimulation for higher-order process calculi (1996)

Cached

Download Links

by Davide Sangiorgi
Venue:INFORMATION AND COMPUTATION
Citations:58 - 4 self

Active Bibliography

3 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
13 Asynchronous process calculi: the first-order and higher-order paradigms (Tutorial) – Davide Sangiorgi - 1999
108 The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes (Extended Abstract) – Joachim Parrow, Björn Victor - 1998
6 From π-calculus to Higher-Order π-calculus -- and back – Davide Sangiorgi
11 An investigation into Functions as Processes – Davide Sangiorgi - 1993
80 π-Calculus, Internal Mobility, and Agent-Passing Calculi – Davide Sangiorgi - 1995
28 A Calculus of Secure Mobile Computations – Jan Vitek, Giuseppe Castagna - 1998
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
2 On the observational theory of the CPS-calculus ∗ – Massimo Merro
9 Constraints as Processes – Björn Victor, Joachim Parrow - 1996
5 Description and Verification of Mobile Processes with Graph Rewriting Techniques – Barbara König
Mobility and Modularity: expressing π-calculus in CCS (Extended Abstract) – Richard Banach, Franck van Breugel
144 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
1 SOS for Higher Order Processes (Extended Abstract) – Mohammadreza Mousavi, Murdoch J. Gabbay, Michel A. Reniers
An Analysis of pi-calculus Bisimulations – Roberto M. Amadio, Otmane Ait-mohamed - 1995
1 Toward a Bisimulation Theory for Linear Higher-Order π-Calculus – Xian Xu - 2007
1 A Theory of Core Fudgets – Colin J. Taylor - 1998
On the Expressiveness and Decidability of Higher-Order Process Calculi ✩,✩✩ – Ivan Lanese A, Jorge A. Pérez B, Davide Sangiorgi A, Alan Schmitt C
12 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007