Deriving Bisimulation Congruences in the DPO Approach to Graph ...
Reference
Hartmut Ehrig and Barbara König. Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts. Mathematical Structures in Computer Science, 16(6):1133–1163, 2006.
Suggested BibTeX entry:
@article{EH06,
author = {Hartmut Ehrig and Barbara K\"onig},
journal = {Mathematical Structures in Computer Science},
number = {6},
pages = {1133--1163},
title = {Deriving Bisimulation Congruences in the {DPO} Approach to Graph Rewriting with Borrowed Contexts},
volume = {16},
year = {2006}
}
