Combinatory Representation of Mobile Processes (1994)

Cached

Download Links

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

Documents Related by Co-Citation

361 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
272 The Polyadic -Calculus: A Tutorial – R Milner - 1993
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
3218 Communication and Concurrency – R Milner - 1989
241 Typing and Subtyping for Mobile Processes – Benjamin Pierce , Davide Sangiorgi - 1996
221 Barbed Bisimulation – Robin Milner, Davide Sangiorgi, Edinburgh Eh Jz - 1992
163 Interaction nets – Y Lafont - 1990
996 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
454 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
251 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
315 Functions as Processes – Robin Milner - 1992
139 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
218 CML: A higher-order concurrent language – J H Reppy - 1991
440 The ⇡-calculus: a Theory of Mobile Processes – D Sangiorgi, D Walker - 2001
1100 Actors: A Model of Concurrent Computation in Distributed Systems – G Agha - 1986
41 Asynchrony and the -calculus (note). Rapport de Recherche 1702, INRIA So – G Boudol - 1992
3409 Communicating Sequential Processes – C. A. R. Hoare - 1985