Black Ninjas in the Dark: Formal Analysis of Population Protocols

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	BLONDIN Michael ESPARZA Javier JAAX Stefan KUČERA Antonín
Rok publikování	2018
Druh	Článek ve sborníku
Konference	2018 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
www	ACM Digital Library
Doi	https://doi.org/10.1145/3209108.3209110
Klíčová slova	population protocols; automatic verification
Popis	Č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ů.
Související projekty:	Formální metody pro analýzu a verifikaci komplexních systémů