M. Blondin, J. Esparza, and S. Jaax. 30th International Conference on Concurrency Theory (CONCUR 2019), volume 140 of Leibniz International Proceedings in Informatics (LIPIcs), page 31:1--31:16. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (2019)Preprint: <a href="https://arxiv.org/abs/1902.01668">Link</a><br>#conference.
DOI: 10.4230/LIPIcs.CONCUR.2019.31
Abstract
Population protocols are a formal model of computation by identical, anonymous mobile agents interacting in pairs. Their computational power is rather limited: Angluin et al. have shown that they can only compute the predicates over N^k expressible in Presburger arithmetic. For this reason, several extensions of the model have been proposed, including the addition of devices called cover-time services, absence detectors, and clocks. All these extensions increase the expressive power to the class of predicates over N^k lying in the complexity class NL when the input is given in unary. However, these devices are difficult to implement, since they require that an agent atomically receives messages from all other agents in a population of unknown size; moreover, the agent must know that they have all been received. Inspired by the work of the verification community on Emerson and Namjoshi's broadcast protocols, we show that NL-power is also achieved by extending population protocols with reliable broadcasts, a simpler, standard communication primitive.
%0 Conference Paper
%1 blondin2019expressive
%A Blondin, Michael
%A Esparza, Javier
%A Jaax, Stefan
%B 30th International Conference on Concurrency Theory (CONCUR 2019)
%C Dagstuhl, Germany
%D 2019
%E Fokkink, Wan
%E van Glabbeek, Rob
%I Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
%K conference
%P 31:1--31:16
%R 10.4230/LIPIcs.CONCUR.2019.31
%T Expressive Power of Broadcast Consensus Protocols
%U https://drops.dagstuhl.de/opus/volltexte/2019/10933/
%V 140
%X Population protocols are a formal model of computation by identical, anonymous mobile agents interacting in pairs. Their computational power is rather limited: Angluin et al. have shown that they can only compute the predicates over N^k expressible in Presburger arithmetic. For this reason, several extensions of the model have been proposed, including the addition of devices called cover-time services, absence detectors, and clocks. All these extensions increase the expressive power to the class of predicates over N^k lying in the complexity class NL when the input is given in unary. However, these devices are difficult to implement, since they require that an agent atomically receives messages from all other agents in a population of unknown size; moreover, the agent must know that they have all been received. Inspired by the work of the verification community on Emerson and Namjoshi's broadcast protocols, we show that NL-power is also achieved by extending population protocols with reliable broadcasts, a simpler, standard communication primitive.
%@ 978-3-95977-121-4
@inproceedings{blondin2019expressive,
abstract = {Population protocols are a formal model of computation by identical, anonymous mobile agents interacting in pairs. Their computational power is rather limited: Angluin et al. have shown that they can only compute the predicates over N^k expressible in Presburger arithmetic. For this reason, several extensions of the model have been proposed, including the addition of devices called cover-time services, absence detectors, and clocks. All these extensions increase the expressive power to the class of predicates over N^k lying in the complexity class NL when the input is given in unary. However, these devices are difficult to implement, since they require that an agent atomically receives messages from all other agents in a population of unknown size; moreover, the agent must know that they have all been received. Inspired by the work of the verification community on Emerson and Namjoshi's broadcast protocols, we show that NL-power is also achieved by extending population protocols with reliable broadcasts, a simpler, standard communication primitive. },
added-at = {2019-06-27T10:54:17.000+0200},
address = {Dagstuhl, Germany},
author = {Blondin, Michael and Esparza, Javier and Jaax, Stefan},
biburl = {https://www.bibsonomy.org/bibtex/2216c55bbdd69e8dd29446b27a3d74ecd/paves},
booktitle = {30th International Conference on Concurrency Theory (CONCUR 2019)},
doi = {10.4230/LIPIcs.CONCUR.2019.31},
editor = {Fokkink, Wan and van Glabbeek, Rob},
interhash = {df2fa7ad34f93e1f991089d58fa10dd2},
intrahash = {216c55bbdd69e8dd29446b27a3d74ecd},
isbn = {978-3-95977-121-4},
issn = {1868-8969},
keywords = {conference},
note = {Preprint: <a href="https://arxiv.org/abs/1902.01668">Link</a><br>#conference},
pages = {31:1--31:16},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
timestamp = {2023-09-24T19:45:11.000+0200},
title = {Expressive Power of Broadcast Consensus Protocols},
url = {https://drops.dagstuhl.de/opus/volltexte/2019/10933/},
volume = 140,
year = 2019
}