Ehrig, Hartmut; König, Barbara:
Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting with Borrowed Contexts
2006
In: Mathematical Structures in Computer Science, Jg. 16 (2006), Heft 6, S. 1133 - 1163
Artikel/Aufsatz in Zeitschrift / Fach: Informatik
Titel:
Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting with Borrowed Contexts
Autor(in):
Ehrig, Hartmut; König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen
Erscheinungsjahr:
2006
Erschienen in:
Mathematical Structures in Computer Science, Jg. 16 (2006), Heft 6, S. 1133 - 1163
ISSN:
Link URL: