Deriving Bisimulation Congruences in the Presence of Negative Application Conditions.

Guilherme Rangel, Barbara Knig, Hartmut Ehrig

Browse the full FOSSACS paper archive.