An Object Calculus for Asynchronous Communication (1991)

Cached

Download Links

by Kohei Honda , Mario Tokoro
Venue:Proceedings of the European Conference on Object-Oriented Programming (ECOOP
Citations:361 - 29 self

Documents Related by Co-Citation

448 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
244 Typing and Subtyping for Mobile Processes – Benjamin Pierce , Davide Sangiorgi - 1996
315 Functions as processes – R Milner - 1990
1095 Actors: A model of concurrent computation in distributed systems – G Agha - 1986
418 Obliq - A language with distributed scope – Luca Cardelli - 1995
74 Concurrent Objects in a Process Calculus – Benjamin C. Pierce, David N. Turner - 1995
254 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
18 Combinatory Representation of Mobile Processes – Kohei Honda, Nobuko Yoshida - 1994
3219 Communication and Concurrency – R Milner - 1990
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
273 The polyadic -calculus: A tutorial – Robin Milner - 1992
224 Barbed Bisimulation – Robin Milner, Davide Sangiorgi, Edinburgh Eh Jz - 1992
91 A pi-calculus semantics for an object-based design notation – Cliff B Jones - 1993
56 A Calculus of Communicating Systems with Label Passing – Uffe Engberg, Mogens Nielsen - 1986
117 An Asynchronous Model of Locality, Failure, and Process Mobility – Roberto M. Amadio, Roberto M. Amadio, Projet Meije - 1997
1330 A Calculus of Communicating Systems – R Milner - 1980
217 CML: A higher-order concurrent language – J Reppy - 1991
81 A semantics for ML concurrency primitives – Dave Berry, Robin Milner, David N. Turner - 1992