F. Bancilhon, Naive Evaluation of Recursively Defined Relations, pp.165-178, 1986.
DOI : 10.1007/978-1-4612-4980-1_17

F. Bancilhon, D. Maier, Y. Sagiv, and J. D. Ullman, Magic sets and other strange ways to implement logic programs (extended abstract), Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems , PODS '86, pp.1-15, 1986.
DOI : 10.1145/6012.15399

L. Vieille, Recursive axioms in deductive databases: The query/subquery approach, Expert Database Conf, pp.253-267, 1986.

R. Ramakrishnan and J. D. Ullman, A survey of deductive database systems, The Journal of Logic Programming, vol.23, issue.2, pp.125-149, 1993.
DOI : 10.1016/0743-1066(94)00039-9

B. T. Loo, J. M. Hellerstein, I. Stoica, and R. Ramakrishnan, Declarative routing: extensible routing with declarative queries, Proc. ACM SIGCOMM '05, 2005.

B. T. Loo, T. Condie, M. N. Garofalakis, D. E. Gay, J. M. Hellerstein et al., Declarative networking, Proceedings of the 2006 ACM SIGMOD international conference on Management of data , SIGMOD '06, 2006.
DOI : 10.1145/1142473.1142485

S. Grumbach and F. Wang, Netlog, a Rule-Based Language for Distributed Programming, PADL'10, Twelfth International Symposium on Practical Aspects of Declarative Languages, 2010.
DOI : 10.1007/978-3-642-11503-5_9

C. Perkins and P. Bhagwat, Highly dynamic destination-sequenced distance-vector routing (dsdv) for mobile computers, ACM SIG- COMM'94 Conference on Communications Architectures, Protocols and Applications, pp.234-244, 1994.

P. Jacquet, P. Muhlethaler, T. Clausen, A. Laouiti, A. Qayyum et al., Optimized link state routing protocol for ad hoc networks, Proceedings. IEEE International Multi Topic Conference, 2001. IEEE INMIC 2001. Technology for the 21st Century., pp.62-68, 2001.
DOI : 10.1109/INMIC.2001.995315

URL : https://hal.archives-ouvertes.fr/inria-00471622

C. E. Perkins, Ad-hoc on-demand distance vector routing, Proceedings WMCSA'99. Second IEEE Workshop on Mobile Computing Systems and Applications, pp.90-100, 1999.
DOI : 10.1109/MCSA.1999.749281

M. Caesar, M. Castro, E. B. Nightingale, G. O. Shea, and A. Rowstron, Virtual ring routing, ACM SIGCOMM Computer Communication Review, vol.36, issue.4, pp.351-362, 2006.
DOI : 10.1145/1151659.1159954

A. Cerpa and D. Estrin, ASCENT, ACM SIGCOMM Computer Communication Review, vol.32, issue.1, pp.62-62, 2002.
DOI : 10.1145/510726.510736

J. Lu, F. Valois, D. Barthel, and M. Dohler, FISCO: A Fully Integrated Scheme of Self-Configuration and Self-Organization for WSN, 2007 IEEE Wireless Communications and Networking Conference, p.12007
DOI : 10.1109/WCNC.2007.620

Y. Deng, S. Grumbach, and J. Monin, A Framework for Verifying Data-Centric Protocols, FORTE 2011: The 31th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems, 2011.
DOI : 10.1007/3-540-48213-X_26

URL : https://hal.archives-ouvertes.fr/hal-00647802