Javier Esparza:
Population protocols: A Case Study in Parameterized Verification
References
Computation in networks of passively mobile finite-state sensors
D Angluin, J Aspnes, Z Diamadi, MJ Fischer, R Peralta- Distributed
Computing, 2006
The computational power of population protocols
D Angluin, J Aspnes, D Eisenstat, E Ruppert - Distributed Computing, 2007
Verification of population protocols
J Esparza, P Ganty, J Leroux, R Majumdar - Acta Informatica, 2017
Towards efficient verification of population protocols
M Blondin, J Esparza, S Jaax, PJ Meyer - Proceedings of POPL 2017
Recent algorithmic advances in population protocols
D Alistarh, R Gelashvili - ACM SIGACT News, 2018
Large flocks of small birds: on the minimal size of population protocols
M Blondin, J Esparza, S Jaax - Proceedings of STACS 2018
Peregrine: A Tool for the Analysis of Population Protocols
M Blondin, J Esparza, S Jaax - Proccedings of CAV 2018
Black Ninjas in the Dark: Formal Analysis of Population Protocols
M Blondin, J Esparza, S Jaax, T Kucera - Proceedings of LICS 2018
Expressive Power of Broadcast Consensus Protocols
M Blondin, J Esparza, S Jaax - To appear in CONCUR 2019