1: \begin{abstract}

2:   Population protocols have been introduced as a model of sensor

3:   networks consisting of very limited mobile agents with no control

4:   over their own movement. A population protocol corresponds to a

5:   collection of anonymous agents, modeled by finite automata, that

6:   interact with one another to carry out computations, by updating

7:   their states, using some rules.

8: 

9:   Their computational power has been investigated under several

10:   hypotheses but always when restricted to finite size populations. In

11:   particular, predicates stably computable in the original model have been

12:   characterized as those definable in Presburger arithmetic.

13: 

14:   We study mathematically the convergence of  population

15:   protocols when the size of the population goes to infinity. We do so

16:   by giving general results, that we illustrate through the example of

17:   a particular population protocol for which we even obtain an

18:   asymptotic development.

19: 

20:   This example shows in particular that these

21:   protocols seem to have a rather different computational power

22: % when considered as computing functions, and

23:   when a huge population hypothesis is considered.

24: \end{abstract}

25: