Thermodynamic Graph-Rewriting.
Vincent DanosRuss HarmerRicardo Honorato-ZimmerPublished in: CONCUR (2013)
Keyphrases
- rewriting systems
- rewriting rules
- graph representation
- graph theoretic
- random walk
- graph theory
- graph structure
- graph partitioning
- connected components
- experimental data
- graph matching
- directed graph
- graph model
- rewrite rules
- stable set
- bipartite graph
- directed acyclic graph
- query rewriting
- graph search
- graph based algorithm
- structured data
- data sets