Documents Related by Co-Citation

814 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
271 A Calculus of Mobile Agents – Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy, Inria Rocquencourt - 1996
273 The polyadic -calculus: A tutorial – Robin Milner - 1992
783 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
514 Fine-grained Mobility in the Emerald System – Eric Jul, Henry Levy, Norman Hutchinson, Andrew Black - 1988
396 Programming and Deploying JavaMobile Agents with Aglets – D Lange, M Oshima - 1998
119 Microkernels meet recursive virtual machines – Bryan Ford, Mike Hibler, Jay Lepreau, Patrick Tullmann, Godmar Back, Stephen Clawson - 1996
131 Controlling Interference in Ambients – Francesca Levi, Davide Sangiorgi - 2000
94 Seal: A Framework for Secure Mobile Computations – Jan Vitek, Giuseppe Castagna - 1999
117 An Asynchronous Model of Locality, Failure, and Process Mobility – Roberto M. Amadio, Roberto M. Amadio, Projet Meije - 1997
201 Resource Access Control in Systems of Mobile Agents – Matthew Hennessy, James Riely - 1998
68 The Nucleus of a Multiprogramming System – P B Hansen - 1970
443 The design and implementation of an intentional naming system – William Adjie-Winoto, Elliot Schwartz, Hari Balakrishnan, Jeremy Lilley - 1999
248 The Jini™ Specification – K Amold, B O’Sullivan, R Scheifer, J Waldo, A Woolrath - 1999
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
948 Generative communication in Linda – David Gelernter - 1985
1095 Actors: A model of concurrent computation in distributed systems – G Agha - 1986
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
57 Analyzing Mobile Code Languages – Gianpaolo Cugola , Carlo Ghezzi, Gian Pietro Picco, Giovanni Vigna - 1997