Documents Related by Co-Citation

783 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
244 Typing and Subtyping for Mobile Processes – Benjamin Pierce , Davide Sangiorgi - 1996
155 Types for mobile ambients – Luca Cardelli, Andrew D. Gordon - 1999
56 Localities and Failures – Roberto M. Amadio, Sanjiva Prasad - 1995
271 A Calculus of Mobile Agents – Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy, Inria Rocquencourt - 1996
448 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
698 Linda in Context – N Carriero, D Gelernter - 1989
57 Equational properties of mobile ambients – Andrew D. Gordon, Luca Cardelli - 1999
245 Secrecy by Typing in Security Protocols – Martín Abadi - 1998
117 An Asynchronous Model of Locality, Failure, and Process Mobility – Roberto M. Amadio, Roberto M. Amadio, Projet Meije - 1997
235 The slam calculus: programming with secrecy and integrity – Nevin Heintze, Jon G. Riecke - 1998
77 A Typed Language for Distributed Mobile Processes (Extended Abstract) – James Riely, Matthew Hennessy - 1998
273 The polyadic -calculus: A tutorial – Robin Milner - 1992
3407 Communicating Sequential Processes – C. A. R. Hoare - 2004
203 Secure information flow in a multi-threaded imperative language – Geoffrey Smith, Dennis Volpano - 1998
3219 Communication and Concurrency – R Milner - 1990
62 Global/local subtyping and capability inference for a distributed π-calculus – Peter Sewell - 1998
418 Obliq - A language with distributed scope – Luca Cardelli - 1995