Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting with Borrowed Contexts (0)

by http eceasst cs tu-berlin deindex phpeceasstissueview27 H Ehrig, B König
Venue:Mathematical Structures in Computer Science