Equational properties of mobile ambients (1999)

by Andrew D. Gordon , Luca Cardelli
Venue:MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
Citations:57 - 7 self

Documents Related by Co-Citation

814 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
155 Types for mobile ambients – Luca Cardelli, Andrew D. Gordon - 1999
131 Controlling Interference in Ambients – Francesca Levi, Davide Sangiorgi - 2000
94 Seal: A Framework for Secure Mobile Computations – Jan Vitek, Giuseppe Castagna - 1999
1000 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
54 Bisimulation Congruences in Safe Ambients – Massimo Merro, Matthew Hennessy - 2001
80 Boxed ambients – Michele Bugliesi, Silvia Crafa - 2001
36 Validating firewalls in mobile ambients – Flemming Nielson, Hanne Riis Nielson, Ren'e Rydhof Hansen, Jacob Grydholt Jensen - 1999
41 Extensionality and Intensionality of the Ambient Logics – Davide Sangiorgi
77 A Typed Language for Distributed Mobile Processes (Extended Abstract) – James Riely, Matthew Hennessy - 1998
262 Expressing mobility in process algebras: First-order and higherorder paradigms – D Sangiorgi - 1992
144 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
271 A Calculus of Mobile Agents – Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy, Inria Rocquencourt - 1996
39 A calculus of mobile resources – Jens Christian Godskesen, Thomas Hildebrandt, Vladimiro Sassone - 2002
363 An Object Calculus for Asynchronous Communication – Kohei Honda, Mario Tokoro - 1991
224 Barbed Bisimulation – Robin Milner, Davide Sangiorgi, Edinburgh Eh Jz - 1992
70 Ambient Groups and Mobility Types – Luca Cardelli, Giorgio Ghelli, Andew D. Gordon, Andrew D. Gordon - 2000
62 Bisimulation for higher-order process calculi – Davide Sangiorgi - 1996
117 An Asynchronous Model of Locality, Failure, and Process Mobility – Roberto M. Amadio, Roberto M. Amadio, Projet Meije - 1997