Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting (2004)

by Hartmut Ehrig , Barbara König
Citations:61 - 10 self