I. F. Akyildiz, W. Su, Y. Sankarasubramaniam, and E. Cayirci, Wireless sensor networks: a survey, Computer Networks, vol.38, issue.4, pp.393-422, 2002.
DOI : 10.1016/S1389-1286(01)00302-4

J. Borgström, S. Huang, M. Johansson, P. Raabjerg, B. Victor et al., Broadcast psi-calculi with an application to wireless protocols, SEFM, pp.74-89, 2011.

A. Cerone and M. Hennessy, Modelling probabilistic wireless networks (extended abstract)
DOI : 10.2168/lmcs-9(3:26)2013
URL : http://arxiv.org/abs/1309.4693

A. Cerone, M. Hennessy, and M. Merro, Modelling mac-layer communications in wireless systems, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01486032

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. 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

M. Hennessy, A distributed Pi-calculus, 2007.
DOI : 10.1017/CBO9780511611063
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.208.1383

M. Hennessy and J. Rathke, Bisimulations for a calculus of broadcasting systems, Theoretical Computer Science, vol.200, issue.1-2, pp.225-260, 1998.
DOI : 10.1016/S0304-3975(97)00261-2

M. Hennessy and T. Regan, A Process Algebra for Timed Systems, Information and Computation, vol.117, issue.2, pp.221-239, 1995.
DOI : 10.1006/inco.1995.1041

K. Honda and N. Yoshida, On reduction-based process semantics, TCS, vol.152, issue.2, pp.437-486, 1995.

D. Kouzapas and A. Philippou, A Process Calculus for Dynamic Networks, FMOODS/FORTE, pp.213-227, 2011.
DOI : 10.1007/978-3-540-68265-3_19

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

M. Merro, An Observational Theory for Mobile Ad Hoc Networks (full paper), IaC, vol.207, issue.2, pp.194-208, 2009.

M. Merro, F. Ballardin, and E. Sibilio, A timed calculus for wireless systems, Theoretical Computer Science, vol.412, issue.47, pp.6585-6611, 2011.
DOI : 10.1016/j.tcs.2011.07.016

R. Milner, Communicating and Mobile Systems: The ?-calculus, 1999.

S. Nanz and C. Hankin, Static analysis of routing protocols for ad-hoc networks, In ACM SIGPLAN and IFIP WG Citeseer, vol.1, pp.141-152, 2004.

X. Nicollin and J. Sifakis, The Algebra of Timed Processes, ATP: Theory and Application, Information and Computation, vol.114, issue.1, pp.131-178, 1994.
DOI : 10.1006/inco.1994.1083

K. V. Prasad, A calculus of broadcasting systems, SCP, vol.25, issue.23, pp.285-32794, 1994.

T. S. Rappaport, Wireless communications -principles and practice, 1996.

J. Rathke and P. Sobocinski, Deconstructing behavioural theories of mobility, Fifth IFIP ICTCScience, pp.507-520, 2008.
DOI : 10.1007/978-0-387-09680-3_34

D. Sangiorgi and D. Walker, The Pi-Calculus ? A Theory of Mobile Processes, 2001.

A. Singh, C. R. Ramakrishnan, and S. A. Smolka, A process calculus for mobile ad hoc networks, pp.440-469, 2010.

A. S. Tanenbaum, Computer Networks, 2003.

M. Wang and Y. Lu, A timed calculus for mobile ad hoc networks. arXiv preprint, 2013.

W. Yi, A Calculus of Real Time Systems, 1991.