Aodv routing protocol implementation design, Proc. of 24th International Conference on Distributed Computing Systems Workshops -W7: EC (ICDCSW'04), pp.698-703, 2004. ,
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
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
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
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
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 process calculus for mobile ad hoc networks, Proc. of the 10th Int. Conference on Coordination Models and Languages, pp.296-314, 2008. ,
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