Black Ninjas in the Dark: Formal Analysis of Population Protocols.

Michael Blondin, Javier Esparza, Stefan Jaax, Antonn Kucera

Browse the full LICS paper archive.