Black Ninjas in the Dark: Formal Analysis of Population Protocols

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

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

Year of publication 2018
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
Web 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:

You are running an old browser version. We recommend updating your browser to its latest version.