Graph Processes with Fusions: Concurrency by Colimits, Again.

Fabio Gadducci Ugo Montanari

Published in: Formal Methods in Software and Systems Modeling (2005)

Keyphrases

graph theory
connected components
structured data
process model
directed graph
graph structure
graph representation
graph based algorithm
edge weights
graph theoretic
directed acyclic graph
random walk
link analysis
graph model
weighted graph
concurrency control
database systems