Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1423768,
author = {Blondin, Michael and Esparza, Javier and Jaax, Stefan and Kučera, Antonín},
address = {Oxford, England},
booktitle = {2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
doi = {http://dx.doi.org/10.1145/3209108.3209110},
editor = {Anuj Dawar, Erich Gradel},
keywords = {population protocols; automatic verification},
howpublished = {tištěná verze "print"},
language = {eng},
location = {Oxford, England},
isbn = {978-1-4503-5583-4},
pages = {1-10},
publisher = {ACM},
title = {Black Ninjas in the Dark: Formal Analysis of Population Protocols},
url = {http://doi.acm.org/10.1145/3209108.3209110},
year = {2018}
}
TY - JOUR
ID - 1423768
AU - Blondin, Michael - Esparza, Javier - Jaax, Stefan - Kučera, Antonín
PY - 2018
TI - Black Ninjas in the Dark: Formal Analysis of Population Protocols
PB - ACM
CY - Oxford, England
SN - 9781450355834
KW - population protocols
KW - automatic verification
UR - http://doi.acm.org/10.1145/3209108.3209110
L2 - http://doi.acm.org/10.1145/3209108.3209110
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.
ER -
BLONDIN, Michael, Javier ESPARZA, Stefan JAAX and Antonín KUČERA. Black Ninjas in the Dark: Formal Analysis of Population Protocols. In Anuj Dawar, Erich Gradel. \textit{2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)}. Oxford, England: ACM. p.~1-10. ISBN~978-1-4503-5583-4. doi:10.1145/3209108.3209110. 2018.
|
