We extend here the Population Protocol (PP) model of Angluin et al.(2004, 2006)[2, 4] in
order to model more powerful networks of resource-limited agents that are possibly mobile …

We propose a new theoretical model for passively mobile Wireless Sensor Networks, called
PM, standing for Passively mobile Machines. The main modification wrt the Population …

Understanding the algorithmic behaviors that are in principle realizable in a chemical
system is necessary for a rigorous understanding of the design principles of biological …

We consider the problem of simulating traditional population protocols under weaker models
of communication, which include one-way interactions (as opposed to two-way interactions) …

In this work, we study the Population Protocol model of Angluin et al. from the perspective of
protocol verification. In particular, we are interested in algorithmically solving the problem of …

We extend here the Population Protocol model of Angluin et al.[2] in order to model more
powerful networks of very small resource-limited artefacts (agents) that are possibly mobile …

We present an analog and machine-independent algebraic characterization of elementarily
computable functions over the real numbers in the sense of recursive analysis: we prove that …

We define a general model capturing the behavior of a population of anonymous agents that
interact in pairs. This model captures some of the main features of opportunistic networks, in …

We consider the problem of simulating traditional population protocols under weaker models
of communication, which include one-way interactions (as opposed to two-way interactions) …

We propose a new theoretical model for passively mobile Wireless Sensor Networks. We
call it the PALOMA model, standing for PAssively mobile LOgarithmic space MAchines. The …