Bisimulation for higher-order process calculi (1996)

Cached

Download Links

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

Documents Related by Co-Citation

814 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
262 Expressing mobility in process algebras: First-order and higherorder paradigms – D Sangiorgi - 1992
3219 Communication and Concurrency – R Milner - 1990
144 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
224 Barbed Bisimulation – Robin Milner, Davide Sangiorgi, Edinburgh Eh Jz - 1992
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
54 Bisimulation Congruences in Safe Ambients – Massimo Merro, Matthew Hennessy - 2001
442 The π-calculus: A Theory of Mobile Processes – Davide Sangiorgi, David Walker - 2001
94 Seal: A Framework for Secure Mobile Computations – Jan Vitek, Giuseppe Castagna - 1999
80 Boxed ambients – Michele Bugliesi, Silvia Crafa - 2001
57 Equational properties of mobile ambients – Andrew D. Gordon, Luca Cardelli - 1999
41 Extensionality and Intensionality of the Ambient Logics – Davide Sangiorgi
97 Decoding Choice Encodings – Uwe Nestmann, Benjamin C. Pierce - 1999
39 A calculus of mobile resources – Jens Christian Godskesen, Thomas Hildebrandt, Vladimiro Sassone - 2002
131 Controlling Interference in Ambients – Francesca Levi, Davide Sangiorgi - 2000
201 Resource Access Control in Systems of Mobile Agents – Matthew Hennessy, James Riely - 1998
55 The Lazy Lambda Calculus in a Concurrency Scenario (Extended Abstract) – Davide Sangiorgi - 1994
73 On Bisimulations for the Asynchronous π-Calculus – Roberto M Amadio, Ilaria Castellani, Davide Sangiorgi - 1996
363 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991