P. Abdulla, K. Cerans, B. Jonsson, and Y. Tsay, General decidability theorems for infinite-state systems, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science, pp.313-321, 1996.
DOI : 10.1109/LICS.1996.561359
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.49.2627

G. Delzanno, A. Sangnier, and G. Zavattaro, Parameterized Verification of Ad Hoc Networks, CONCUR'10, 2010.
DOI : 10.1007/978-3-642-15375-4_22

G. Delzanno, A. Sangnier, and G. Zavattaro, On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks, FoSSaCS'11, pp.441-455, 2011.
DOI : 10.1007/978-3-642-19805-2_30

A. Fehnker, L. Van-hoesel, and A. Mader, Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks, IFM'07, pp.253-272, 2007.
DOI : 10.1007/978-3-540-73210-5_14

G. Higman, Ordering by Divisibility in Abstract Algebras, Proc. London Math. Soc. (3), pp.326-336, 1952.
DOI : 10.1112/plms/s3-2.1.326

C. Intanagonwiwat, R. Govindan, D. Estrin, J. Heidemann, and F. Silva, Directed diffusion for wireless sensor networking, IEEE/ACM Transactions on Networking, vol.11, issue.1, pp.2-16, 2003.
DOI : 10.1109/TNET.2002.808417
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.3918

P. Levis, N. Patel, D. E. Culler, and S. Shenker, Trickle: A self-regulating algorithm for code propagation and maintenance in wireless sensor networks, pp.15-28, 2004.

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

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

M. Saksena, O. Wibling, and B. Jonsson, Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols, TACAS'08, pp.18-32, 2008.
DOI : 10.1007/978-3-540-78800-3_3

A. Singh, C. R. Ramakrishnan, and S. A. Smolka, Query-Based Model Checking of Ad??Hoc??Network??Protocols, CONCUR'09, pp.603-619, 2009.
DOI : 10.1145/1101908.1101915

A. Singh, C. R. Ramakrishnan, and S. A. Smolka, A process calculus for Mobile Ad Hoc Networks, Science of Computer Programming, vol.75, issue.6, pp.440-469, 2010.
DOI : 10.1016/j.scico.2009.07.008