D. Ian, E. M. Chakeres, and . Belding-royer, Aodv routing protocol implementation design, Proc. of 24th International Conference on Distributed Computing Systems Workshops -W7: EC (ICDCSW'04), pp.698-703, 2004.

J. C. Godskesen, A Calculus for Mobile Ad Hoc Networks, Proc. of the 10th Int. Conference on Coordination Models and Languages, pp.132-150, 2007.
DOI : 10.1007/978-3-540-72794-1_8

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

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

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

E. M. Royer and C. E. Perkins, Multicast operation of the ad-hoc on-demand distance vector routing protocol, Proceedings of the 5th annual ACM/IEEE international conference on Mobile computing and networking , MobiCom '99, pp.207-2018, 1999.
DOI : 10.1145/313451.313538

A. Singh, C. R. Ramakrishnan, and S. A. Smolka, A process calculus for mobile ad hoc networks, Proc. of the 10th Int. Conference on Coordination Models and Languages, pp.296-314, 2008.

B. Zhang and H. T. Mouftah, Energy-aware on-demand routing protocols for wireless ad hoc networks, Wireless Networks, vol.12, issue.4, pp.481-494, 2006.
DOI : 10.1007/s11276-006-6547-9