1. A Distributed Pi-calculus;Hennessy,2007
2. G. Boudol, A generic membrane model (note), in: C. Priami, P. Quaglia (Eds.), Global Computing, Vol. 3267 of Lecture Notes in Computer Science, Springer, 2004, pp. 208–222.
3. D. Gorla, M. Hennessy, V. Sassone, Security policies as membranes in systems for global computing, Logical Methods in Computer Science 1 (3). Available from: .
4. Controlling interference in ambients;Levi,2000
5. A bisimulation-based semantic theory of safe ambients;Merro;ACM Transactions on Programming Languages and Systems,2006