K. Bhargavan, D. Obradovid, and C. A. Gunter, Formal verification of standards for distance vector routing protocols, Journal of the ACM, vol.49, issue.4, pp.538-576, 2002.
DOI : 10.1145/581771.581775

E. Clarke and E. A. Emerson, Design and synthesis of synchronization skeletons using branching-time temporal logic, Logic of Programs, pp.52-71, 1981.

R. , D. Nicola, and F. Vaandrager, Action versus state based logics for transition systems, Semantics of Systems of Concurrent Processes, pp.407-419, 1990.
DOI : 10.1007/3-540-53479-2_17

R. , D. Nicola, and F. Vaandrager, Three logics for branching bisimulation, Journal of the ACM, vol.42, issue.2, pp.458-487, 1995.

R. De-renesse and A. H. Aghvami, Formal verification of ad-hoc routing protocols using SPIN model checker, Proceedings of the 12th IEEE Mediterranean Electrotechnical Conference (IEEE Cat. No.04CH37521), pp.1177-1182, 2004.
DOI : 10.1109/MELCON.2004.1348275

E. Clarke, O. Grumberg, and D. Peled, Model Checking, 2001.

A. Fehnker, R. Van-glabbeek, P. Höfner, A. Mciver, M. Portmann et al., A Process Algebra for Wireless Mesh Networks, ESOP, LNCS 7211, pp.295-315, 2012.
DOI : 10.1007/978-3-642-28869-2_15

A. Fehnker, R. Van-glabbeek, P. Höfner, A. Mciver, M. Portmann et al., Automated Analysis of AODV Using UPPAAL, TACAS, pp.173-187, 2012.
DOI : 10.1007/978-3-642-28756-5_13

F. Ghassemi, W. Fokkink, and A. Movaghar, Equational reasoning on mobile ad hoc networks, Fundamenta Informaticae, vol.103, pp.1-41, 2010.

F. Ghassemi, W. Fokkink, and A. Movaghar, Verification of mobile ad hoc networks: An algebraic approach, Theoretical Computer Science, vol.412, issue.28, pp.3262-3282, 2011.
DOI : 10.1016/j.tcs.2011.03.017

F. Ghassemi, S. Ahmadi, W. Fokkink, and A. Movaghar, Model Checking MANETs with Arbitrary Mobility, pre-proceedings of FSEN'13, pp.207-223, 2013.
DOI : 10.1007/978-3-642-40213-5_14
URL : https://hal.archives-ouvertes.fr/hal-01514658

J. C. Godskesen, Observables for Mobile and Wireless Broadcasting Systems, In COORDI- NATION LNCS, vol.6116, pp.1-15, 2010.
DOI : 10.1007/978-3-642-13414-2_1
URL : https://hal.archives-ouvertes.fr/hal-01054627

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

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

A. Mciver and A. Fehnker, Formal Techniques for the Analysis of Wireless Networks, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006), pp.263-270, 2006.
DOI : 10.1109/ISoLA.2006.51

R. Meolic, T. Kapus, and Z. Brezocnik, ACTLW ??? An action-based computation tree logic with unless operator, Information Sciences, vol.178, issue.6, pp.1542-1557, 2008.
DOI : 10.1016/j.ins.2007.10.023

M. Merro, An Observational Theory for Mobile Ad Hoc Networks, MFPS XXIII, pp.275-293, 2007.
DOI : 10.1016/j.entcs.2007.02.039

N. Mezzetti and D. Sangiorgi, Towards a Calculus For Wireless Systems, MFPS XXII, pp.331-353, 2006.
DOI : 10.1016/j.entcs.2006.04.017

R. Milner, Communication and Concurrency, 1989.

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

S. Nanz, F. Nielson, and H. Nielson, Static analysis of topology-dependent broadcast networks, Information and Computation, vol.208, issue.2, pp.117-139, 2010.
DOI : 10.1016/j.ic.2009.10.003

C. E. Perkins and E. M. Belding-royer, Ad-hoc on-demand distance vector routing, pp.90-100, 1999.
DOI : 10.1109/mcsa.1999.749281
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.1548

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

R. Van-glabbeek and W. P. Weijland, Branching time and abstraction in bisimulation semantics, Journal of the ACM, vol.43, issue.3, pp.555-600, 1996.
DOI : 10.1145/233551.233556

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

O. Wibling, J. Parrow, and A. Pears, Automatized Verification of Ad Hoc Routing Protocols, FORTE, pp.343-358, 2004.
DOI : 10.1007/978-3-540-30232-2_22

O. Wibling, J. Parrow, and A. Pears, Ad Hoc Routing Protocol Verification Through Broadcast Abstraction, FORTE, LNCS 3731, pp.128-142, 2005.
DOI : 10.1109/LCOMM.2002.802035
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.9943