Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1703.04367
Cited By
v1
v2
v3 (latest)
Towards Efficient Verification of Population Protocols
13 March 2017
Michael Blondin
Javier Esparza
Stefan Jaax
Philipp J. Meyer
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Towards Efficient Verification of Population Protocols"
2 / 2 papers shown
Title
Modular population protocols
Mikhail A. Raskin
20
0
0
23 Nov 2021
Peregrine 2.0: Explaining Correctness of Population Protocols through Stage Graphs
Javier Esparza
Martin Helfrich
Stefan Jaax
Philipp J. Meyer
18
3
0
15 Jul 2020
1
