Double-pushout graph transformation revisited

Annegret Habel, Jürgen Müller, Detlef Plump. Double-pushout graph transformation revisited. Mathematical Structures in Computer Science, 11(5):637-688, 2001.

Abstract

Abstract is missing.