Mediated population protocols

O Michail, I Chatzigiannakis, PG Spirakis - Theoretical Computer Science, 2011 - Elsevier
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 …

Passively mobile communicating machines that use restricted space

I Chatzigiannakis, O Michail, S Nikolaou… - Proceedings of the 7th …, 2011 - dl.acm.org
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 …

[BOOK][B] New models for population protocols

O Michail, I Chatzigiannakis, PG Spirakis - 2010 - books.google.com
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 …

[HTML][HTML] Population protocols with faulty interactions: the impact of a leader

GA Di Luna, P Flocchini, T Izumi, T Izumi… - Theoretical Computer …, 2019 - Elsevier
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) …

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 …

Population protocols with faulty interactions: the impact of a leader

GA Di Luna, P Flocchini, T Izumi, T Izumi… - … on Algorithms and …, 2017 - Springer
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) …

Stably decidable graph languages by mediated population protocols

I Chatzigiannakis, O Michail, PG Spirakis - Symposium on Self-Stabilizing …, 2010 - Springer
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 …

Fault-tolerant simulation of population protocols

GA Di Luna, P Flocchini, T Izumi, T Izumi… - Distributed …, 2020 - Springer
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 …

Computational models for networks of tiny artifacts: A survey

C Àlvarez, I Chatzigiannakis, A Duch, J Gabarró… - Computer Science …, 2011 - Elsevier
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 …

On the power of weaker pairwise interaction: fault-tolerant simulation of population protocols

GA Di Luna, P Flocchini, T Izumi, T Izumi… - 2017 IEEE 37th …, 2017 - ieeexplore.ieee.org
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 …