Deriving Bisimulation Congruences in the DPO Approach to Graph ...


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:

    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}

Conference version, Tech report versionThis work is not available online here.
© University of Duisburg-Essen, Theoretical Computer Science group