Population protocol

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

Topic mentions per year

Topic mentions per year

2003-2018
051020032018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Population protocols, roughly defined as systems consisting of large numbers of simple identical agents, interacting at random… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2015
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
Population protocols are networks of finite-state agents, interacting randomly, and updating their state using simple rules… (More)
  • figure 1
  • figure 2
Is this relevant?
2011
2011
We address the problem of verification by model checking of the basic population protocol (PP) model of Angluin et al. [1]. This… (More)
  • figure 2
  • figure 3
  • figure 4
  • table II
  • table III
Is this relevant?
2009
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
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
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
Fast algorithms are presented for performing computations in a probabilistic population model. This is a variant of the standard… (More)
  • table 1
  • table 2
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?