TY - GEN
T1 - Black ninjas in the dark
T2 - 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018
AU - Blondin, Michael
AU - Esparza, Javier
AU - Jaax, Stefan
AU - Kučera, Antonín
N1 - Publisher Copyright:
© 2018 ACM.
PY - 2018/7/9
Y1 - 2018/7/9
N2 - 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.
AB - 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.
KW - Distributed computing
KW - Parameterized verification
KW - Population protocols
UR - http://www.scopus.com/inward/record.url?scp=85051116200&partnerID=8YFLogxK
U2 - 10.1145/3209108.3209110
DO - 10.1145/3209108.3209110
M3 - Conference contribution
AN - SCOPUS:85051116200
T3 - Proceedings - Symposium on Logic in Computer Science
SP - 1
EP - 10
BT - Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018
PB - Institute of Electrical and Electronics Engineers Inc.
Y2 - 9 July 2018 through 12 July 2018
ER -