Towards Efficient Verification of Population Protocols.

Michael Blondin Stefan Jaax Javier Esparza Philipp J. Meyer

Published in: CoRR (2017)

Keyphrases

real time
data sets
digital libraries
pairwise
distributed systems
computationally efficient
cost effective
communication protocols