Black Ninjas in the Dark
| Autor: | Michael Blondin, Javier Esparza, Antonín Kučera, Stefan Jaax |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
education.field_of_study
Multimedia business.industry Computer science Computation Population 0102 computer and information sciences 02 engineering and technology computer.software_genre 01 natural sciences Work (electrical) 010201 computation theory & mathematics 0202 electrical engineering electronic engineering information engineering 020201 artificial intelligence & image processing The Internet education business computer |
| Zdroj: | LICS |
| DOI: | 10.1145/3209108.3209110 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|