Black Ninjas in the Dark: Formal Analysis of Population Protocols
Authors: Michael Blondin, Javier Esparza, Stefan Jaax and Antonin Kučera
Paper Information
| Title: | Black Ninjas in the Dark: Formal Analysis of Population Protocols |
| Authors: | Michael Blondin, Javier Esparza, Stefan Jaax and Antonin Kučera |
| Proceedings: | LICS PDF files |
| Editors: | Anuj Dawar and Erich Grädel |
| Keywords: | |
| Abstract: | |
| Pages: | 10 |
| Paper: |  |