n this interactive paper, which you should preferably read con-nected to the Internet, the Black Ninjas introduce you to populationprotocols, a fundamental model of distributed computation, and torecent work by the authors and their colleagues on their automaticverification.
%0 Conference Paper
%1 conf/lics/BlondinEJK18
%A Blondin, Michael
%A Esparza, Javier
%A Jaax, Stefan
%A Kucera, Antonín
%B LICS
%D 2018
%E Dawar, Anuj
%E Grädel, Erich
%I ACM
%K conference
%P 1-10
%T Black Ninjas in the Dark: Formal Analysis of Population Protocols.
%U http://info.usherbrooke.ca/mblondin/papers/BEJK18.pdf
%X n this interactive paper, which you should preferably read con-nected to the Internet, the Black Ninjas introduce you to populationprotocols, a fundamental model of distributed computation, and torecent work by the authors and their colleagues on their automaticverification.
@inproceedings{conf/lics/BlondinEJK18,
abstract = {n this interactive paper, which you should preferably read con-nected to the Internet, the Black Ninjas introduce you to populationprotocols, a fundamental model of distributed computation, and torecent work by the authors and their colleagues on their automaticverification.},
added-at = {2018-11-07T11:38:57.000+0100},
author = {Blondin, Michael and Esparza, Javier and Jaax, Stefan and Kucera, Antonín},
biburl = {https://www.bibsonomy.org/bibtex/2278caa8df9184a6c102bd4935065ecb7/paves_previous},
booktitle = {LICS},
crossref = {conf/lics/2018},
editor = {Dawar, Anuj and Grädel, Erich},
ee = {http://doi.acm.org/10.1145/3209108.3209110},
interhash = {2c122f89e1814833291882f3ccf68968},
intrahash = {278caa8df9184a6c102bd4935065ecb7},
keywords = {conference},
pages = {1-10},
publisher = {ACM},
timestamp = {2023-09-24T19:48:14.000+0200},
title = {Black Ninjas in the Dark: Formal Analysis of Population Protocols.},
url = {http://info.usherbrooke.ca/mblondin/papers/BEJK18.pdf},
year = 2018
}