@dblp

Deriving Bisimulation Congruences in the DPO Approach to Graph Rewriting.

, and . FoSSaCS, volume 2987 of Lecture Notes in Computer Science, page 151-166. Springer, (2004)

Links and resources

Tags