35 citations · 102 across the 18 of their papers we have counts for
5 papers · 1 filter
Population Protocols over Ordered Agents
Michael Blondin, Michaël Cadilhac, Benjamin Courchesne +3
Population protocols are a distributed computation model in which a collection of anonymous, finite-state agents interact in randomly chosen pairs and update their states according…
Population Protocols with Unordered Data
Michael Blondin, François Ladouceur
Population protocols form a well-established model of computation of passively mobile anonymous agents with constant-size memory. It is well known that population protocols compute…
Succinct Population Protocols for Presburger Arithmetic
Michael Blondin, Javier Esparza, Blaise Genest +2
Angluin et al. proved that population protocols compute exactly the predicates definable in Presburger arithmetic (PA), the first-order theory of addition. As part of this result,…
Expressive Power of Broadcast Consensus Protocols
Michael Blondin, Javier Esparza, Stefan Jaax
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…
Large Flocks of Small Birds: On the Minimal Size of Population Protocols
Michael Blondin, Javier Esparza, Stefan Jaax
Population protocols are a well established model of distributed computation by mobile finite-state agents with very limited storage. A classical result establishes that population…