M. Hennessy, A Distributed Pi-calculus, 2007.
DOI : 10.1017/CBO9780511611063

F. Levi and D. Sangiorgi, Controlling interference in ambients, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '00, pp.352-364, 2000.
DOI : 10.1145/325694.325741

M. Merro and M. Hennessy, A bisimulation-based semantic theory of Safe Ambients, ACM Transactions on Programming Languages and Systems, vol.28, issue.2, pp.290-330, 2006.
DOI : 10.1145/1119479.1119482

M. Bugliesi, S. Crafa, M. Merro, and V. Sassone, Communication Interference in Mobile Boxed Ambients, Lecture Notes in Computer Science, vol.2556, pp.71-84, 2002.
DOI : 10.1007/3-540-36206-1_8

G. Castagna and F. Z. Nardelli, The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity, Lecture Notes in Computer Science, vol.2556, pp.85-96, 2002.
DOI : 10.1007/3-540-36206-1_9

A. Schmitt and J. B. Stefani, The Kell Calculus: A Family of Higher-Order Distributed Process Calculi, Global Computing, pp.146-178, 2004.
DOI : 10.1007/3-540-45694-5_19

M. Hennessy, M. Merro, and J. Rathke, Towards a behavioural theory of access and mobility control in distributed systems, Theoretical Computer Science, vol.322, issue.3, pp.615-669, 2003.
DOI : 10.1016/j.tcs.2003.12.024

L. Cardelli, G. Ghelli, and A. D. Gordon, Ambient Groups and Mobility Types, TCS. Lecture Notes in Computer Science, vol.1872, pp.333-347, 2000.
DOI : 10.1007/3-540-44929-9_25

M. Hennessy, J. Rathke, and N. Yoshida, SafeDpi: a language for controlling mobile code, Acta Informatica, vol.42, pp.4-5, 2005.

N. Yoshida, Channel dependent types for higher-order mobile processes, 2004.

F. Martins and V. T. Vasconcelos, History-Based Access Control for Distributed Processes, In: TGC, pp.98-115, 2005.
DOI : 10.1007/11580850_7

M. Boreale and D. Sangiorgi, Bisimulation in name-passing calculi without matching, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226), 1998.
DOI : 10.1109/LICS.1998.705653

S. Hym, Mobility control via passports (2007) Preprint Available on https: //hal.archives-ouvertes

S. Hym, Typage et contrôle de la mobilité, 2006.

M. Hennessy and J. Riely, Resource Access Control in Systems of Mobile Agents, Information and Computation, vol.173, issue.1, pp.82-120, 2002.
DOI : 10.1006/inco.2001.3089

S. Hym and M. Hennessy, Adding recursion to Dpi, Theoretical Computer Science, vol.373, issue.3, pp.182-212, 2007.
DOI : 10.1016/j.tcs.2006.12.017
URL : https://hal.archives-ouvertes.fr/hal-00140654

R. Milner and D. Sangiorgi, Barbed bisimulation, 19th ICALP, pp.685-695, 1992.
DOI : 10.1007/3-540-55719-9_114