The gluing construction on which the algebraic notion of a derivation is based operationally provides a simple and intuitive understanding of graph rewriting. Inheriting the powerful toolbax of category theory, its abstract version as a (single resp. double) pnshout leads to highly compact and elegant proofs especially for the basic constructions of sequential and parallel independent derivations as well as for concurrent and amalgamated productions respectively.
CITATION STYLE
Ehrig, H., Korff, M., & Löwe, M. (1991). Tutorial introduction to the algebraic approach of graph grammars based on double and single pushouts. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 532 LNCS, pp. 24–37). Springer Verlag. https://doi.org/10.1007/BFb0017375
Mendeley helps you to discover research relevant for your work.