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

by Hartmut Ehrig , Barbara König
Citations:77 - 15 self