Documents Related by Co-Citation

725 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
267 The polyadic ��-calculus: A tutorial – R Milner - 1991
117 Controlling Interference in Ambients – Francesca Levi, Davide Sangiorgi - 2000
699 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
87 Seal: A Framework for Secure Mobile Computations – Jan Vitek, Giuseppe Castagna - 1999
492 Fine-grained Mobility in the Emerald System – Eric Jul, Henry Levy, Norman Hutchinson, Andrew Black - 1988
250 A Calculus of Mobile Agents – Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy, Inria Rocquencourt - 1996
378 Programming and Deploying Java Mobile Agents with Aglets – D B Lange, M Oshima - 1998
113 Microkernels meet recursive virtual machines – Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, Stephen Clawson - 1996
113 An Asynchronous Model of Locality, Failure, and Process Mobility – Roberto M. Amadio, Roberto M. Amadio, Projet Meije - 1997
64 The nucleus of a multiprogramming system – P B HANSEN - 1970
228 The Jini Specification – K ARNOLD, A WOLLRATH, B O’SULLIVAN, R SCHEIFLER, J WALDO - 1999
417 The design and implementation of an intentional naming system – William Adjie-Winoto, Elliot Schwartz, Hari Balakrishnan, Jeremy Lilley - 1999
69 Trust and Partial Typing in Open Systems of Mobile Agents – James Riely, James Riely, Matthew Hennessy, Matthew Hennessy - 1998
14 J-Kernel: A capability-based operating system for Java – Thorsten Von Eicken, Chi-chao Chang, Grzegorz Czajkowski, Chris Hawblitzel, Deyu Hu, Dan Spoonhower - 1999
7 On Equators in Asynchronous Name-passing Calculi without Matching (Extended Abstract) – Massimo Merro - 1999
15 A π-calculus with explicit substitutions – Gianluigi Ferrari, Ugo Montanari, Paola Quaglia - 1996
24 Wide Area Computation – Luca Cardelli - 1999
80 On Asynchrony in Name-Passing Calculi – Massimo Merro, Davide Sangiorgi - 1998