Active Bibliography

119 Abstractions for mobile computation – Luca Cardelli - 1999
4 Mobile processes: A commented bibliography – Silvano Dal Zilio - 2000
13 Mobility and security – Luca Cardelli - 1999
1 Nomadic Pict: Programming Languages, Communication Infrastructure Overlays, and Semantics for Mobile Computation – Peter Sewell, Pawe̷l T. Wojciechowski, Asis Unyapoth
2 Specifying and Implementing Secure Mobile Applications in the Channel Ambient System – Andrew Nicholas John Brojer Phillips - 2005
8 Reduction Semantics for Ambient Calculi – Maria Grazia Vigliotti - 2004
8 A Generic Membrane Model – Gerard Boudol - 2004
www.elsevier.com/locate/tcs Mobile ambients – Luca Cardelli A, Andrew D. Gordon B
22 The Seal Calculus – G. Castagna , J. Vitek , F. Zappa Nardelli - 2005
Thursday, February 11, 1999, 3:52 pm – Ry Pm
8 DiTyCO: and Experiment in Code Mobility from the Realm Process Calculi – Luís Lopes , Fernando Silva, Álvaro Figueira, Vasco Vasconcelos - 1999
1 A Study of Objects – Paul Hankin - 1999
34 Operational congruences for reactive systems – James Judi Leifer - 2001
A distributed machine for Safe Ambients – Davide Sangiorgi, Andrea Valente - 2001
42 Types for the Ambient Calculus – Luca Cardelli, Giorgio Ghelli, Andrew D. Gordon - 2001
3 Modelling simple market structures in process algebras with locations (Extended Abstract) – Julian Padget
6 A Calculus of Higher-Order Distributed Components – Jean-Bernard Stefani - 2003
MIKADO Global Computing Project – Ist- Mobile Calculi
12 A Survey of Theories for Mobile Agents – Giovanna Di Marzo Serugendo, Murhimanya Muhugusa, Christian F. Tschudin - 1995