Publication details

Black Ninjas in the Dark: Formal Analysis of Population Protocols

Authors

BLONDIN Michael ESPARZA Javier JAAX Stefan KUČERA Antonín

Type Article in Proceedings
Conference 2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
MU Faculty or unit

Faculty of Informatics

Citation
WWW ACM Digital Library
Doi http://dx.doi.org/10.1145/3209108.3209110
Keywords population protocols; automatic verification
Description In this interactive paper, which you should preferably read connected to the Internet, the Black Ninjas introduce you to population protocols, a fundamental model of distributed computation, and to recent work by the authors and their colleagues on their automatic verification.
Related projects: