A calculus of concurrent graph-rewriting processes.

Géza Kulcsár Andrea Corradini Malte Lochau

Published in: J. Log. Algebraic Methods Program. (2020)

Keyphrases

rewriting systems
random walk
graph representation
graph structure
special case
rewriting rules
mutual exclusion
graph theoretic
spanning tree
structured data
graph theory
weighted graph
computational models
database
graph model
graph matching
directed graph
rewrite rules
petri net
graph based algorithm