1. Communicating and Mobile Systems: The π-Calculus;Milner,1999
2. Mobile ambients;Cardelli;Theor. Comput. Sci.,2000
3. Brane calculi - interactions of biological membranes;Cardelli,2005
4. Encoding Mobile Ambients into the π-Calculus;Ciobanu,2007
5. On the expressiveness of π-calculus for encoding mobile ambients;Brodo;Math. Struct. Comput. Sci.,2018