F. Ghassemi, W. Fokkink, and A. Movaghar, Equational reasoning on mobile ad hoc networks, Fundamenta Informaticae, vol.105, issue.4, pp.375-415, 2010.

J. Ch and . Godskesen, A calculus for mobile ad-hoc networks with static location binding, Electronic Notes in Theoretical Computer Science, vol.242, issue.1, pp.161-183, 2009.

D. Kouzapas and A. Philippou, A process calculus for systems with dynamic topology, 2010.

I. Lanese and D. Sangiorgi, An operational semantics for a calculus for wireless systems, Theoretical Computer Science, vol.411, issue.19, pp.1928-1948, 2010.
DOI : 10.1016/j.tcs.2010.01.023
URL : http://doi.org/10.1016/j.tcs.2010.01.023

M. Merro, An Observational Theory for Mobile Ad Hoc Networks, Electronic Notes in Theoretical Computer Science, vol.173, issue.2, pp.194-208, 2009.
DOI : 10.1016/j.entcs.2007.02.039

M. Merro and E. Sibilio, A timed calculus for wireless systems, Proceedings of FSEN'09, Revised Selected Papers, pp.228-243, 2010.
DOI : 10.1007/978-3-642-11623-0_13

R. Milner, Communication and Concurrency, 1989.

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, parts 1 and 2. Information and Computation, pp.1-77, 1992.

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

U. Nestmann, On Determinacy and Non-determinacy in Concurrent Programming, 1996.

A. Philippou and D. Walker, On confluence in the ??-calculus, Proceedings of ICALP'97, pp.314-324, 1997.
DOI : 10.1007/3-540-63165-8_188

K. V. Prasad, A calculus of broadcasting systems, Science of Computer Programming, vol.25, issue.2-3, pp.285-327, 1995.
DOI : 10.1016/0167-6423(95)00017-8

A. Singh, C. R. Ramakrishnan, and S. A. Smolka, A process calculus for mobile ad hoc networks, Proceedings of COORDINATION'08, pp.296-314, 2008.

C. Tofts, Proof Methods and Pragmatics for Parallel Programming, 1990.

S. Vasudevan, J. Kurose, and D. Towsley, Design and analysis of a leader election algorithm for mobile ad hoc networks, Proceedings of the 12th IEEE International Conference on Network Protocols, 2004. ICNP 2004., pp.350-360, 2004.
DOI : 10.1109/ICNP.2004.1348124