35 citations · 102 across the 18 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018
Automatic Analysis of Expected Termination Time for Population Protocols
Michael Blondin, Javier Esparza, Antonín Kučera
Population protocols are a formal model of sensor networks consisting of identical mobile devices. Two devices can interact and thereby change their states. Computations are infini…
cs.DC2018★ 15 cited
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…