Barbed Bisimulation (1992)

Cached

Download Links

by Robin Milner , Davide Sangiorgi , Edinburgh Eh Jz
Citations:219 - 19 self

Active Bibliography

3 On the Bisimulation Theory and Axiomatization of Higher-order Process Calculi – Xian Xu
7 A Filter Model for Mobile Processes – Ferruccio Damiani , et al. - 1993
1 Parallel Implementation of Functional Languages Using Small Processes – John Glauert - 1992
Non-deterministic Lazy it λ-calculus VS it π-calculus – Carolina Lavatelli - 1993
41 Algebraic Theories for Name-Passing Calculi – Joachim Parrow, Davide Sangiorgi - 1996
2 Strategic Directions in Computing Research Concurrency Working Group Report – Rance Cleaveland, Scott A. Smolka (eds.) - 1996
45 Presheaf Models for Concurrency – Gian Luca Cattani - 1999
55 The Lazy Lambda Calculus in a Concurrency Scenario (Extended Abstract) – Davide Sangiorgi - 1994
2 A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels – Takaaki Umedu, Yoshiki Terashima, Keiichi Yasumoto, Akio Nakata, Teruo Higashino, Kenichi Taniguchi - 2002
47 Towards an Object Calculus – Oscar Nierstrasz - 1991
6 A New Process Model for Functions – Glauert Leth, J. R. W. Glauert, L. Leth, B. Thomsen - 1993
8 DiTyCO: and Experiment in Code Mobility from the Realm Process Calculi – Luís Lopes , Fernando Silva, Álvaro Figueira, Vasco Vasconcelos - 1999
6 A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility – Luís Lopes, Álvaro Figueira, Fernando Silva, O Silva, Vasco T. Vasconcelos - 2000
Non-Deterministic untyped λ-calculus -- A study about explicit non determinism in higher-order functional calculi – Ugo de' Liguoro - 1991
6 Full Abstractness for a Functional/Concurrent Language With Higher-Order Value-Passing – Chrysafis Hartonas, Takis Hartonas, Matthew Hennessy - 1998
6 Non-Deterministic Extensions of Untyped λ-calculus – Ugo de'Liguoro, Adolfo Piperno - 1995
12 SOS formats and meta-theory: 20 years after – Mohammadreza Mousavi, Michel A. Reniers, Jan Friso Groote - 2007
6 Discrimination by Parallel Observers: the Algorithm – Mariangiola Dezani-ciancaglini, Jerzy Tiuryn, Pawel Urzyczyn, Pawe/l Urzyczyn - 1998
1 Distributed Processes and Location Failures (Extended Abstract) – James Riely, Matthew Hennessy