On the convergence of population protocols when population goes to infinity

Applied Mathematics and Computation

Volumn 215, Issue 4, 2009, Pages 1340-1350

  Bournez, Olivier ^a   Chassaing, Philippe ^b   Cohen, Johanne ^c   Gerin, Lucas ^b   Koegler, Xavier ^d,e  

^a ÉCOLE POLYTECHNIQUE   (France)

^b UNIVERSITÉ HENRI POINCARÉ NANCY 1   (France)

^c LORIA   (France)

^d UNIVERSITÉ PARIS DIDEROT   (France)

^e ECOLE NORMALE SUPÉRIEURE   (France)

Author keywords

Computability; Limits; Population protocols

Indexed keywords

ASYMPTOTIC DEVELOPMENT; COMPUTATIONAL POWER; FINITE SIZE; ORIGINAL MODEL; PRESBURGER ARITHMETIC;

FINITE AUTOMATA; MOBILE AGENTS;

NETWORK PROTOCOLS;

EID: 70449106604     PISSN: 00963003     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.amc.2009.04.056     Document Type: Conference Paper

References (12)

1. Dana Angluin, James Aspnes, Zoë Diamadi, Michael J. Fischer, and René Peralta Computation in networks of passively mobile finite-state sensors Twenty-Third ACM Symposium on Principles of Distributed Computing 2004 ACM Press 290 299
2. Dana Angluin, James Aspnes, David Eisenstat, Stably computable predicates are semilinear, in: PODC'06: Proceedings of the Twenty-Fifth Annual ACM Symposium on Principles of Distributed Computing, ACM Press, New York, NY, USA, 2006, pp. 292-299.
3. James Aspnes, and Eric Ruppert An introduction to population protocols Bulletin of the EATCS 93 2007 106 125
4. Ioannis Chatzigiannakis, Paul G. Spirakis, The dynamics of probabilistic population protocols, in: Distributed Computing, 22nd International Symposium, DISC, Lecture Notes in Computer Science, vol. 5218, 2008, pp. 498-499.
5. Ioannis Chatzigiannakis, Paul G. Spirakis, The dynamics of probabilistic population protocols, Technical Report, arXiv:0807.0140v1,2008.
6. F. Comets, and T. Meyre Calcul Stochastique et Modeles de Diffusions 2006 Dunod Paris
7. Z. Diamadi, and M.J. Fischer A simple game for the study of trust in distributed systems Wuhan University Journal of Natural Sciences 6 1-2 2001 72 82
8. R. Durrett Stochastic Calculus: A Practical Introduction 1996 CRC Press
9. D. Givon, R. Kupferman, and A. Stuart Extracting macroscopic dynamics: model problems and algorithms Nonlinearity 17 6 2004 R55 R127
10. Annick Lesne The discrete vs continuous controversy in physics Mathematical Structures in Computer Science 17 2 2007 185 223
11. M. Presburger, Uber die Vollstandig-keit eines gewissen systems der Arithmetik ganzer Zahlen, in eelchemdie addition als einzige operation hervortritt, in: Comptes-rendus du I Congres des Mathematicians des Pays Slaves, 1929, pp. 92-101.
12. D.W. Stroock, and S.R.S. Varadhan Multidimensional Diffusion Processes 1979 Springer