BLONDIN, Michael, Javier ESPARZA, Stefan JAAX a Antonín KUČERA. Black Ninjas in the Dark: Formal Analysis of Population Protocols. In Anuj Dawar, Erich Gradel. 2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). Oxford, England: ACM, 2018. s. 1-10, 10 s. ISBN 978-1-4503-5583-4. doi:10.1145/3209108.3209110.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Black Ninjas in the Dark: Formal Analysis of Population Protocols
Autoři BLONDIN, Michael, Javier ESPARZA (724 Španělsko), Stefan JAAX (276 Německo) a Antonín KUČERA (203 Česká republika, garant, domácí).
Vydání Oxford, England, 2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), od s. 1-10, 10 s. 2018.
Nakladatel ACM
Další údaje
Originální jazyk angličtina
Typ výsledku Stať ve sborníku
Obor 1.2 Computer and information sciences
Stát vydavatele Spojené království
Utajení není předmětem státního či obchodního tajemství
Forma vydání tištěná verze "print"
WWW ACM Digital Library
Kód RIV RIV/00216224:14330/18:00101073
Organizační jednotka Fakulta informatiky
ISBN 978-1-4503-5583-4
ISSN 1043-6871
Doi http://dx.doi.org/10.1145/3209108.3209110
Klíčová slova anglicky population protocols; automatic verification
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: RNDr. Pavel Šmerk, Ph.D., učo 3880. Změněno: 30. 4. 2019 07:23.
Anotace
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.
Anotace česky
Článek podává přehled nedávných výsledků o algoritmické analýze populačních protokolů, které představují fundamentální model distribuovaných výpočtů.
Návaznosti
GAP202/10/1469, projekt VaVNázev: Formální metody pro analýzu a verifikaci komplexních systémů
Investor: Grantová agentura ČR, Standardní projekty
VytisknoutZobrazeno: 13. 10. 2019 22:43