The Chemical Abstract Machine (1998)

Cached

Download Links

by Gérard Berry , Gérard Boudol
Citations:448 - 5 self

Documents Related by Co-Citation

315 Functions as processes – R Milner - 1990
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
3219 Communication and Concurrency – R Milner - 1990
363 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
418 Obliq - A language with distributed scope – Luca Cardelli - 1995
244 Typing and Subtyping for Mobile Processes – Benjamin Pierce , Davide Sangiorgi - 1996
1330 A Calculus of Communicating Systems – R Milner - 1980
1095 Actors: A model of concurrent computation in distributed systems – G Agha - 1986
783 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
271 A Calculus of Mobile Agents – Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy, Inria Rocquencourt - 1996
814 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
273 The polyadic -calculus: A tutorial – Robin Milner - 1992
160 FACILE: A symmetric integration of concurrent and functional programming – P Mishra Giacalone, S Prasad
56 Localities and Failures – Roberto M. Amadio, Sanjiva Prasad - 1995
698 Linda in Context – N Carriero, D Gelernter - 1989
224 Barbed Bisimulation – Robin Milner, Davide Sangiorgi, Edinburgh Eh Jz - 1992
117 An Asynchronous Model of Locality, Failure, and Process Mobility – Roberto M. Amadio, Roberto M. Amadio, Projet Meije - 1997
100 The reflexive CHAM and the join-calculus – Cedric Fournet , Georges Gonthier