Double-pushout graph transformation revisited

@article{Habel2001DoublepushoutGT,
  title={Double-pushout graph transformation revisited},
  author={Annegret Habel and J{\"u}rgen M{\"u}ller and Detlef Plump},
  journal={Mathematical Structures in Computer Science},
  year={2001},
  volume={11},
  pages={637-688}
}
In this paper we investigate and compare four variants of the double-pushout approach to graph transformation. As well as the traditional approach with arbitrary matching and injective right-hand morphisms, we consider three variations by employing injective matching and/or arbitrary right-hand morphisms in rules. We show that injective matching provides additional expressiveness in two respects: for generating graph languages by grammars without non-terminals and for computing graph functions… CONTINUE READING

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 85 CITATIONS

Adhesive DPO Parallelism for Monic Matches

  • Electr. Notes Theor. Comput. Sci.
  • 2007
VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Specifying Pointer Structures by Graph Reduction

VIEW 4 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Modular Termination of Graph Transformation

  • Graph Transformation, Specifications, and Nets
  • 2018
VIEW 3 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Graph Transactions as Processes

VIEW 3 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Confluence of Graph Transformation Revisited

  • Processes, Terms and Cycles
  • 2005
VIEW 3 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Data-Structure Rewriting

VIEW 1 EXCERPT
CITES METHODS
HIGHLY INFLUENCED

Efficient Graph Rewriting

VIEW 1 EXCERPT
CITES BACKGROUND

Categorifying the zx-calculus

VIEW 1 EXCERPT
CITES BACKGROUND

FILTER CITATIONS BY YEAR

2000
2019

CITATION STATISTICS

  • 6 Highly Influenced Citations