Peregrine: A Tool for the Analysis of Population Protocols.

Michael Blondin, Javier Esparza, Stefan Jaax

Browse the full CAV paper archive.