Black Ninjas in the Dark: Formal Analysis of Population Protocols

Logo poskytovatele

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 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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info