Barbed Bisimulation (1992)

Cached

Download Links

by Robin Milner , Davide Sangiorgi , Edinburgh Eh Jz
Citations:252 - 21 self

Documents Related by Co-Citation

3723 Communication and Concurrency – R Milner - 1989
1127 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
287 The polyadic -calculus: A tutorial – Robin Milner - 1991
286 Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms – Davide Sangiorgi - 1992
523 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
363 Functions as processes – Robin Milner - 1990
901 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
392 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
483 Testing Equivalences for Processes – R. De Nicola, M. C. B. Hennessy - 1984