Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs.

Javier Esparza, Martin Helfrich, Stefan Jaax, Philipp J. Meyer

Browse the full ATVA paper archive.