TY  - RPRT
TI  - Peregrine 2.0: Explaining Correctness of Population Protocols through Stage Graphs
AU  - Javier Esparza
AU  - Martin Helfrich
AU  - Stefan Jaax
AU  - Philipp J. Meyer
PY  - 2020
UR  - https://arxiv.org/abs/2007.07638
ID  - 2007.07638
ER  -