Peregrine 2.0: Explaining Correctness of Population Protocols Through Stage Graphs.

Javier Esparza Martin Helfrich Stefan Jaax Philipp J. Meyer

Published in: ATVA (2020)

Keyphrases

graph matching
graph mining
graph theoretic
graph structure
graph representation
database
communication protocol
pattern recognition
random walk
shortest path
graph model
undirected graph
graph partitioning
multi party
series parallel
multiple stages