Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting.

Hartmut Ehrig, Barbara Knig

Browse the full FOSSACS paper archive.