Informace o publikaci

Black Ninjas in the Dark: Formal Analysis of Population Protocols

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 http://dx.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: