The Chemical Abstract Machine (1998)

Cached

Download Links

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

Documents Related by Co-Citation

313 Functions as processes, in – R Milner - 1990
3388 Communicating Sequential Processes – C. A. R. Hoare - 1985
995 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
3200 Communication and Concurrency – R Milner - 1989
361 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
415 Obliq - A language with distributed scope – Luca Cardelli - 1995
241 Typing and Subtyping for Mobile Processes – Benjamin Pierce , Davide Sangiorgi - 1996
1323 A Calculus of Communicating Systems – R Milner
1094 Actors—A Model of Concurrent Computation for Distributed Systems – G Agha - 1986
782 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
267 A Calculus of Mobile Agents – Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy, Inria Rocquencourt - 1996
808 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
272 The Polyadic -Calculus: A Tutorial – R Milner - 1993
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
697 Linda in Context – Nicholas Carriero, David Gelernter - 1989
219 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