Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

3 relations
Distributed computingModel of computationRobotics

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
A Population Protocol for Uniform k-Partition Under Global Fairness
In this paper, we consider a uniform k-partition problem in a population protocol model. The uniform k-partition problem divides… 
2018
2018
Verification of Immediate Observation Population Protocols
Population protocols (Angluin et al., PODC, 2004) are a formal model of sensor networks consisting of identical mobile devices… 
2015
2015
NETCS: A New Simulator of Population Protocols and Network Constructors
Network Constructors are an extension of the standard population protocol model in which finite-state agents interact in pairs… 
Review
2011
Review
2011
Computational models for networks of tiny artifacts: A survey
2011
2011
Population Protocols and Related Models
  • P. Spirakis
  • Theoretical Aspects of Distributed Computing in…
  • 2011
  • Corpus ID: 38939091
This is a joint work with Ioannis Chatzigiannakis and Othon Michail. We discuss here the population protocol model and most of… 
2010
2010
Population protocol over Wireless Sensor Networks
The aim of this study is to suggest an automated technique for distributed decision. It is based on population protocol deployed… 
2010
2010
All Symmetric Predicates in NSPACE(n2) Are Stably Computable by the Mediated Population Protocol Model
This work focuses on the computational power of the Mediated Population Protocol model on complete communication graphs and… 
Review
2009
Review
2009
Recent Advances in Population Protocols
The population protocol model (PP) proposed by Angluin et al. [2] describes sensor networks consisting of passively mobile finite… 
2009
2009
Loosely-Stabilizing Leader Election in Population Protocol Model
A self-stabilizing protocol guarantees that starting from an arbitrary initial configuration, a system eventually comes to… 
2008
2008
The Dynamics of Probabilistic Population Protocols
Angluin et al. [1] introduced the notion of "Probabilistic Population Protocols" ( PPP ) where extremely limited agents are… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)