M. Abadi and C. Fournet, Mobile vales, new names, and secure communication, Symposium on Principles of Programming Languages, pp.104-115, 2001.

L. Cardelli and A. D. Gordon, Mobile ambients, FOSSACS, 1998.
DOI : 10.1016/s0304-3975(99)00231-5
URL : http://doi.org/10.1016/s0304-3975(99)00231-5

R. De-nicola, D. Gorla, and R. Pugliese, Basic observables for a calculus for global computing, Information and Computation, vol.205, issue.10, pp.1491-1525, 2007.
DOI : 10.1016/j.ic.2007.03.004

S. Delaune, S. Kremer, and M. Ryan, Symbolic bisimulation for the applied pi calculus, FSTTCS, 2007.

J. C. Godskesen, A Calculus for Mobile Ad Hoc Networks, In COORDINATION LNCS, vol.4467, pp.132-150, 2007.
DOI : 10.1007/978-3-540-72794-1_8

J. C. Godskesen and S. Nanz, Mobility Models and Behavioural Equivalence for Wireless Networks, In COORDINATION LNCS, vol.58, issue.2-3, 2009.
DOI : 10.1007/978-3-540-68265-3_19

M. Merro, An Observational Theory for Mobile Ad Hoc Networks, Electronic Notes in Theoretical Computer Science, vol.173, pp.275-293, 2007.
DOI : 10.1016/j.entcs.2007.02.039

M. Merro and E. Sibilio, A timed calculus for wireless systems, In FSEN LNCS, vol.5961, 2009.

N. Mezzetti and D. Sangiorgi, Towards a Calculus For Wireless Systems, Electronic Notes in Theoretical Computer Science, vol.158, pp.331-353, 2006.
DOI : 10.1016/j.entcs.2006.04.017

R. Milner, Functions as processes, Proceedings of Automata, Languages and Programming, pp.167-180, 1990.
URL : https://hal.archives-ouvertes.fr/inria-00075405

R. Milner, Communicating and Mobile Systems: the ?-Calculus, 1999.

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

S. Nanz and C. Hankin, A framework for security analysis of mobile wireless networks, Theoretical Computer Science, vol.367, issue.1-2, pp.203-227, 2006.
DOI : 10.1016/j.tcs.2006.08.036

J. Riely and M. Hennessy, A typed language for distributed mobile processes (extended abstract), Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '98, pp.378-390, 1998.
DOI : 10.1145/268946.268978

D. Sangiorgi and D. Walker, The ?-calculus: A Theory of Mobile Processes, 2001.

A. Singh, C. R. Ramakrishnan, and S. A. Smolka, A process calculus for mobile ad hoc networks, In COORDINATION LNCS, vol.5052, 2008.