An introduction to population protocols

J Aspnes, E Ruppert - Middleware for Network Eccentric and Mobile …, 2009 - Springer
Population protocols are used as a theoretical model for a collection (or population) of tiny
mobile agents that interact with one another to carry out a computation. The agents are …

Computation in networks of passively mobile finite-state sensors

D Angluin, J Aspnes, Z Diamadi, MJ Fischer… - Proceedings of the …, 2004 - dl.acm.org
We explore the computational power of networks of small resource-limited mobile agents.
We define two new models of computation based on pairwise interactions of finite-state …

The computational power of population protocols

D Angluin, J Aspnes, D Eisenstat, E Ruppert - Distributed Computing, 2007 - Springer
We consider the model of population protocols introduced by Angluin et al.(Computation in
networks of passively mobile finite-state sensors, pp. 290–299. ACM, New York, 2004), in …

Thermal versus direct J/ψ production in ultrarelativistic heavy-ion collisions

L Grandchamp, R Rapp - Physics Letters B, 2001 - Elsevier
The production of J/Ψ mesons in central collisions of heavy nuclei is investigated as a
function of collision energy. Two contributions are considered simultaneously: early (hard) …

Fast computation by population protocols with a leader

D Angluin, J Aspnes, D Eisenstat - Distributed Computing, 2008 - Springer
Fast algorithms are presented for performing computations in a probabilistic population
model. This is a variant of the standard population protocol model, in which finite-state …

Stably computable predicates are semilinear

D Angluin, J Aspnes, D Eisenstat - Proceedings of the twenty-fifth annual …, 2006 - dl.acm.org
We consider the model of population protocols introduced by Angluin et al.[2], in which
anonymous finite-state agents stably compute a predicate of their inputs via two-way …

Self-stabilizing population protocols

D Angluin, J Aspnes, MJ Fischer, H Jiang - ACM Transactions on …, 2008 - dl.acm.org
This article studies self-stabilization in networks of anonymous, asynchronously interacting
nodes where the size of the network is unknown. Constant-space protocols are given for …

Self-stabilizing leader election in networks of finite-state anonymous agents

M Fischer, H Jiang - Principles of Distributed Systems: 10th International …, 2006 - Springer
This paper considers the self-stabilizing leader-election problem in a model of interacting
anonymous finite-state agents. Leader election is a fundamental problem in distributed …

Stone age distributed computing

Y Emek, R Wattenhofer - Proceedings of the 2013 ACM symposium on …, 2013 - dl.acm.org
A new model that depicts a network of randomized finite state machines operating in an
asynchronous environment is introduced. This model, that can be viewed as a hybrid of the …

A survey on analog models of computation

O Bournez, A Pouly - Handbook of Computability and Complexity in …, 2021 - Springer
A Survey on Analog Models of Computation Page 1 Chapter 6 A Survey on Analog Models of
Computation Olivier Bournez and Amaury Pouly Abstract We present a survey on analog …