ResearchTrend.AI
Peregrine 2.0: Explaining Correctness of Population Protocols through Stage Graphs

Peregrine 2.0: Explaining Correctness of Population Protocols through Stage Graphs

Javier Esparza
Martin Helfrich
Stefan Jaax
Philipp J. Meyer
ArXiv (abs)PDFHTML

Papers citing "Peregrine 2.0: Explaining Correctness of Population Protocols through Stage Graphs"

1 / 1 papers shown
Title
Population Protocols: Beyond Runtime Analysis
Population Protocols: Beyond Runtime Analysis
Javier Esparza
79
2
0
30 Aug 2021