Loosely-stabilizing leader election with polylogarithmic convergence time

Y Sudo, F Ooshita, H Kakugawa, T Masuzawa… - Theoretical Computer …, 2020 - Elsevier
A loosely-stabilizing leader election protocol with polylogarithmic convergence time in the
population protocol model is presented in this paper. In the population protocol model …

Self-stabilizing leader election in population protocols over arbitrary communication graphs

J Beauquier, P Blanchard, J Burman - International Conference on …, 2013 - Springer
This paper considers the fundamental problem of self-stabilizing leader election (SSLE) in
the model of population protocols. In this model, an unknown number of asynchronous …

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 …

Loosely-stabilizing leader election for arbitrary graphs in population protocol model

Y Sudo, F Ooshita, H Kakugawa… - … on Parallel and …, 2018 - ieeexplore.ieee.org
In the population protocol model [Angluin et al. 2006], it is impossible to design a self-
stabilizing leader election protocol without any knowledge of the exact number of nodes in …

Optimal proportion computation with population protocols

Y Mocquard, E Anceaume… - 2016 IEEE 15th …, 2016 - ieeexplore.ieee.org
The computational model of population protocols is a formalism that allows the analysis of
properties emerging from simple and pairwise interactions among a very large number of …

Loosely stabilizing leader election on arbitrary graphs in population protocols without identifiers or random numbers

Y Sudo, F Ooshita, H Kakugawa… - … on Information and …, 2020 - search.ieice.org
We consider the leader election problem in the population protocol model, which Angluin et
al. proposed in 2004. A self-stabilizing leader election is impossible for complete graphs …

The same speed timer in population protocols

Y Sudo, T Masuzawa, AK Datta… - 2016 IEEE 36th …, 2016 - ieeexplore.ieee.org
A novel concept of the same speed timer is presented, and is applied in the population
protocol (PP) model to improve the convergence time of existing loosely-stabilizing leader …

Loosely-stabilizing leader election on arbitrary graphs in population protocols

Y Sudo, F Ooshita, H Kakugawa… - Principles of Distributed …, 2014 - Springer
In the population protocol model Angluin et al. proposed in 2004, there exists no self-
stabilizing protocol that solves leader election on complete graphs without knowing the …

Space-optimal proportion consensus with population protocols

G Cordasco, L Gargano - … Symposium on Stabilization, Safety, and Security …, 2017 - Springer
Population protocols provide a distributed computing model in which a set of finite-state
identical agents cooperate through random interactions, between neighbors in the …

Near-State and State-Optimal Self-Stabilising Leader Election Population Protocols

L Gąsieniec, T Grodzicki, G Stachowiak - arxiv preprint arxiv:2502.01227, 2025 - arxiv.org
We investigate leader election problem via ranking within self-stabilising population
protocols. In this scenario, the agent's state space comprises $ n $ rank states and $ x …