Deriving bisimulation congruences in the dpo approach to graph rewriting with borrowed contexts (2005)

by Hartmut Ehrig, Barbara König
Venue:Mathematical Structures in Computer Science