Combinatory Representation of Mobile Processes (1994)

Cached

Download Links

by Kohei Honda , Nobuko Yoshida
Venue:In Proceedings of POPL '94
Citations:18 - 2 self

Documents Related by Co-Citation

363 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
273 The polyadic -calculus: A tutorial – Robin Milner - 1992
12 Replication in Concurrent Combinators – Kohei Honda, Nobuko Yoshida - 1994
189 A Calculus of Mobile Processes, Part I – Robin Milner, Joachim Parrow, David Walker - 1989
3219 Communication and Concurrency – R Milner - 1990
244 Typing and Subtyping for Mobile Processes – Benjamin Pierce , Davide Sangiorgi - 1996
224 Barbed Bisimulation – Robin Milner, Davide Sangiorgi, Edinburgh Eh Jz - 1992
163 Interaction nets – Y Lafont - 1990
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
448 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
136 Linearity and the Pi-Calculus – Naoki Kobayashi, Benjamin C. Pierce, David N. Turner - 1999
254 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
315 Functions as processes – R Milner - 1990
144 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
442 The π-calculus: A Theory of Mobile Processes – Davide Sangiorgi, David Walker - 2001
217 CML: A higher-order concurrent language – J Reppy - 1991
1095 Actors: A model of concurrent computation in distributed systems – G Agha - 1986
42 Asynchrony and the -calculus (note). Rapport de Recherche 1702, INRIA Sophia-Antipolis – G Boudol - 1992
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004