Sciweavers

TAGT
1998
Springer

Double-Pushout Approach with Injective Matching

13 years 8 months ago
Double-Pushout Approach with Injective Matching
Abstract. We investigate and compare four variants of the doublepushout approach to graph transformation. Besides 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. For each of the three variations, we clarify whether the well-known commutativity theorems are still valid and
Annegret Habel, Jürgen Müller, Detlef Pl
Added 06 Aug 2010
Updated 06 Aug 2010
Type Conference
Year 1998
Where TAGT
Authors Annegret Habel, Jürgen Müller, Detlef Plump
Comments (0)