D. Angluin, J. Aspnes, Z. Diamadi, M. J. Fischer, and R. Peralta, Computation in networks of passively mobile finite-state sensors, Third ACM Symposium on Principles of Distributed Computing, pp.290-299, 2004.

M. Presburger, Uber die Vollstandig-keit eines gewissen systems der Arithmetik ganzer Zahlen, welchemdie Addition als einzige Operation hervortritt , Comptes-rendus du I Congres des Mathematicians des Pays Slaves, pp.92-101, 1929.

D. Angluin, J. Aspnes, and D. Eisenstat, Stably computable predicates are semilinear, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing , PODC '06, pp.292-299, 2006.
DOI : 10.1145/1146381.1146425

J. Aspnes and E. Ruppert, An Introduction to Population Protocols, Bulletin of the EATCS, vol.93, pp.106-125, 2007.
DOI : 10.1007/978-3-540-89707-1_5

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

O. Bournez, P. Chassaing, J. Cohen, L. Gerin, and X. Koegler, On the convergence of population protocols when population goes to infinity, Applied Mathematics and Computation, vol.215, issue.4
DOI : 10.1016/j.amc.2009.04.056

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

J. Demailly, Analyse Numérique et Equations Différentielles, 1991.

M. Mitzenmacher and E. , Probability and Computing. Randomized Algorithms and Probabilistic Analysis, 2005.