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 …

Space-optimal counting in population protocols

J Beauquier, J Burman, S Claviere, D Sohier - International Symposium on …, 2015 - Springer
In this paper, we study the fundamental problem of counting, which consists in computing
the size of a system. We consider the distributed communication model of population …

[图书][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 …

Time-optimal self-stabilizing leader election in population protocols

J Burman, HL Chen, HP Chen, D Doty… - Proceedings of the …, 2021 - dl.acm.org
We consider the standard population protocol model, where (a priori) indistinguishable and
anonymous agents interact in pairs according to uniformly random scheduling. The self …

Game Dynamics and Equilibrium Computation in the Population Protocol Model

D Alistarh, K Chatterjee, M Karrabi… - Proceedings of the 43rd …, 2024 - dl.acm.org
We initiate the study of game dynamics in the population protocol model: n agents each
maintain a current local strategy and interact in pairs uniformly at random. Upon each …

Elementarily computable functions over the real numbers and R-sub-recursive functions

O Bournez, E Hainry - Theoretical Computer Science, 2005 - Elsevier
We present an analog and machine-independent algebraic characterization of elementarily
computable functions over the real numbers in the sense of recursive analysis: we prove that …

Repeated Game Dynamics in Population Protocols

D Alistarh, K Chatterjee, M Karrabi… - arXiv preprint arXiv …, 2023 - arxiv.org
We initiate the study of repeated game dynamics in the population model, in which we are
given a population of $ n $ nodes, each with its local strategy, which interact uniformly at …

Constant-space population protocols for uniform bipartition

H Yasumi, F Ooshita, K Yamaguchi… - … on Principles of …, 2018 - drops.dagstuhl.de
In this paper, we consider a uniform bipartition problem in a population protocol model. The
goal of the uniform bipartition problem is to divide a population into two groups of the same …

Passively mobile communicating logarithmic space machines

I Chatzigiannakis, O Michail, S Nikolaou… - arXiv preprint arXiv …, 2010 - arxiv.org
We propose a new theoretical model for passively mobile Wireless Sensor Networks. We
call it the PALOMA model, standing for PAssively mobile LOgarithmic space MAchines. The …