activity
20172021
most citedLarge Flocks of Small Birds: On the Minimal Size of Population Protocols

15 citations · 24 across the 4 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

cs.DC2020

Peregrine 2.0: Explaining Correctness of Population Protocols through Stage Graphs

Javier Esparza, Martin Helfrich, Stefan Jaax +1

We present a new version of Peregrine, the tool for the analysis and parameterized verification of population protocols introduced in [Blondin et al., CAV'2018]. Population protoco…