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

Javier Esparza Martin Helfrich Stefan Jaax Philipp J. Meyer

Published in: CoRR (2020)

Keyphrases

graph matching
graph theory
multiple stages
directed graph
graph theoretic
application level
neural network
graph mining
graph databases
graph partitioning
random graphs
graph kernels
series parallel