Mediated population protocols
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 …
order to model more powerful networks of resource-limited agents that are possibly mobile …
Passively mobile communicating machines that use restricted space
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 …
PM, standing for Passively mobile Machines. The main modification wrt the Population …
[BOOK][B] New models for population protocols
Wireless sensor networks are about to be part of everyday life. Homes and workplaces
capable of self-controlling and adapting air-conditioning for different temperature and …
capable of self-controlling and adapting air-conditioning for different temperature and …
[HTML][HTML] Population protocols with faulty interactions: the impact of a leader
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) …
of communication, which include one-way interactions (as opposed to two-way interactions) …
Clocked population protocols
J Aspnes - Proceedings of the ACM Symposium on Principles of …, 2017 - dl.acm.org
Population protocols are required to converge to the correct answer, and are subject to a
fairness condition that guarantees eventual progress, but generally have no internal …
fairness condition that guarantees eventual progress, but generally have no internal …
Population protocols with faulty interactions: the impact of a leader
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) …
of communication, which include one-way interactions (as opposed to two-way interactions) …
Stably decidable graph languages by mediated population protocols
We work on an extension of the Population Protocol model of Angluin et al. that allows
edges of the communication graph, G, to have states that belong to a constant size set. In …
edges of the communication graph, G, to have states that belong to a constant size set. In …
Fault-tolerant simulation of population protocols
In this paper we investigate the computational power of population protocols under some
unreliable or weaker interaction models. More precisely, we focus on two features related to …
unreliable or weaker interaction models. More precisely, we focus on two features related to …
Computational models for networks of tiny artifacts: A survey
We survey here some recent computational models for networks of tiny artifacts. In particular,
we focus on networks consisting of artifacts with sensing capabilities. We first imagine the …
we focus on networks consisting of artifacts with sensing capabilities. We first imagine the …
On the power of weaker pairwise interaction: fault-tolerant simulation of population protocols
In this paper we investigate the computational power of population protocols under some
unreliable or weaker interaction models. More precisely, we focus on two features related to …
unreliable or weaker interaction models. More precisely, we focus on two features related to …