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 Zeitschrift2006Informatik
Titel:
Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting with Borrowed Contexts
Autor(in):
Ehrig, Hartmut; König, BarbaraLSF
Erscheinungsjahr
2006
WWW URL