1. Bugliesi, Michele and Castagna, Giuseppe (2002). Behavioral typing for Safe Ambients. Computer Languages, 28(1):61–99.
2. Bugliesi, Michele, Castagna, Giuseppe, and Crafa, Silvia (2004). Access control for mobile agents: The calculus of boxed ambients. ACM Transactions on Programming Languages and Systems, 26(1):57–124.
3. Bugliesi, Michele, Crafa, Silvia, Merro, Massimo, and Sassone, Vladimiro (2003). Communication and Mobility Control in Boxed Ambients. To appear in Information and Computation. Extended and revised version of M. Bugliesi, S. Crafa, M. Merro, and V. Sassone. Communication Interference in Mobile Boxed Ambients. In FSTTCS’ 02, volume 2556 of LNCS, pages 71–84. Springer-Verlag, 2002.
4. Cardelli, Luca (1999). Abstractions for mobile computation. In Vitek, Jan and Jensen, Christian, editors, Secure Internet Programming: Security Issues for Mobile and Distributed Objects, volume 1603 of LNCS, pages 51–94. Springer-Verlag.
5. Cardelli, Luca, Ghelli, Giorgio, and Gordon, Andrew D. (1999). Mobility types for mobile ambients. In Wiedermann, Jiri, van Emde Boas, Peter, and Nielsen, Mogens, editors, ICALP’ 99, volume 1644 of LNCS, pages 230–239. Springer-Verlag.