ResearchTrend.AI
Towards Efficient Verification of Population Protocols
v1v2v3 (latest)

Towards Efficient Verification of Population Protocols

Michael Blondin
Javier Esparza
Stefan Jaax
Philipp J. Meyer
ArXiv (abs)PDFHTML

Papers citing "Towards Efficient Verification of Population Protocols"

2 / 2 papers shown
Title
Modular population protocols
Modular population protocols
Mikhail A. Raskin
20
0
0
23 Nov 2021
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
21
3
0
15 Jul 2020