A population protocol is a distributed computing model formed by resource-limited mobile agents which meet in a random way according to anâ€¦Â (More)

Semantic Scholar uses AI to extract papers important to this topic.

2015

2015

- Dan Alistarh, Rati Gelashvili, Milan Vojnovic
- PODC
- 2015

Population protocols, roughly defined as systems consisting of large numbers of simple identical agents, interacting at randomâ€¦Â (More)

Is this relevant?

2015

2015

- Javier Esparza, Pierre Ganty, JÃ©rÃ´me Leroux, Rupak Majumdar
- Acta Informatica
- 2015

Population protocols (Angluin et al. in PODC, 2004) are a formal model of sensor networks consisting of identical mobile devicesâ€¦Â (More)

Is this relevant?

2015

2015

- Dan Alistarh, Rati Gelashvili
- ICALP
- 2015

Population protocols are networks of finite-state agents, interacting randomly, and updating their state using simple rulesâ€¦Â (More)

Is this relevant?

2011

2011

- Julien ClÃ©ment, Carole Delporte-Gallet, Hugues Fauconnier, Mihaela Sighireanu
- 2011 31st International Conference on Distributedâ€¦
- 2011

We address the problem of verification by model checking of the basic population protocol (PP) model of Angluin et al. [1]. Thisâ€¦Â (More)

Is this relevant?

2009

2009

- Ioannis Chatzigiannakis, Othon Michail, Paul G. Spirakis
- ICALP
- 2009

We extend here the Population Protocol model of Angluin et al. [2] in order to model more powerful networks of very smallâ€¦Â (More)

Is this relevant?

Highly Cited

2007

Highly Cited

2007

- Dana Angluin, James Aspnes, David D Eisenstat
- Distributed Computing
- 2007

We describe and analyze a 3-state one-way population protocol to compute approximate majority in the model in which pairs ofâ€¦Â (More)

Is this relevant?

Review

2007

Review

2007

- James Aspnes, Eric Ruppert
- Bulletin of the EATCS
- 2007

The population protocol model describes a collection of tiny mobile agents that interact with one another to carry out aâ€¦Â (More)

Is this relevant?

2007

2007

We study private computations in a system of tiny mobile agents. We consider the mobile population protocol model of Angluin etâ€¦Â (More)

Is this relevant?

Highly Cited

2006

Highly Cited

2006

- Dana Angluin, James Aspnes, David D Eisenstat
- Distributed Computing
- 2006

Fast algorithms are presented for performing computations in a probabilistic population model. This is a variant of the standardâ€¦Â (More)

Is this relevant?

2006

2006

In the population protocol model introduced by Angluin et al. [2], a collection of agents, which are modelled by finite stateâ€¦Â (More)

Is this relevant?