D 2018

Black Ninjas in the Dark: Formal Analysis of Population Protocols

BLONDIN, Michael, Javier ESPARZA, Stefan JAAX a Antonín KUČERA

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

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10200 1.2 Computer and information sciences

Stát vydavatele

Velká Británie a Severní Irsko

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

tištěná verze "print"

Odkazy

Kód RIV

RIV/00216224:14330/18:00101073

Organizační jednotka

Fakulta informatiky

ISBN

978-1-4503-5583-4

ISSN

DOI

UT WoS

000545262800001

Klíčová slova anglicky

population protocols; automatic verification

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 30. 4. 2019 07:23, RNDr. Pavel Šmerk, Ph.D.

Anotace

ORIG CZ

V originále

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.

Č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 VaV
Název: Formální metody pro analýzu a verifikaci komplexních systémů
Investor: Grantová agentura ČR, Formální metody pro analýzu a verifikaci komplexních systémů