|
699
|
A calculus for cryptographic protocols: The spi calculus
– Martin Abadi, Andrew D. Gordon
- 1999
|
|
229
|
Typing and Subtyping for Mobile Processes
– Benjamin Pierce , Davide Sangiorgi
- 1996
|
|
142
|
Types for mobile ambients
– Luca Cardelli, Andrew D. Gordon
- 1999
|
|
54
|
Localities and Failures
– Roberto M. Amadio, Sanjiva Prasad
- 1995
|
|
250
|
A Calculus of Mobile Agents
– Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy, Inria Rocquencourt
- 1996
|
|
426
|
The Chemical Abstract Machine
– Gérard Berry, Gérard Boudol
- 1998
|
|
933
|
Bigraphs and Mobile Processes
– Ole Høgh Jensen, Robin Milner
- 2003
|
|
668
|
Linda in context
– Nicholas Carriero, David Gelernter
- 1989
|
|
56
|
Equational properties of mobile ambients
– Andrew D. Gordon, Luca Cardelli
- 1999
|
|
221
|
Secrecy by Typing in Security Protocols
– Martín Abadi
- 1998
|
|
113
|
An Asynchronous Model of Locality, Failure, and Process Mobility
– Roberto M. Amadio, Roberto M. Amadio, Projet Meije
- 1997
|
|
214
|
The slam calculus: programming with secrecy and integrity
– Nevin Heintze, Jon G. Riecke
- 1998
|
|
75
|
A Typed Language for Distributed Mobile Processes (Extended Abstract)
– James Riely, Matthew Hennessy
- 1998
|
|
267
|
The Polyadic ?-calculus: A Tutorial
– R Milner
- 1993
|
|
3119
|
Communicating Sequential Processes
– C. A. R. Hoare
- 2004
|
|
181
|
Secure information flow in a multi-threaded imperative language
– Geoffrey Smith, Dennis Volpano
- 1998
|
|
2972
|
Communication and Concurrency
– R Milner
- 1989
|
|
59
|
Global/local subtyping and capability inference for a distributed π-calculus
– Peter Sewell
- 1998
|
|
396
|
Obliq - A language with distributed scope
– Luca Cardelli
- 1995
|
