Black Ninjas in the Dark
Michael Blondin, Javier Esparza, Stefan Jaax, Antonı́n Kučera · 2018
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.