"Deriving Bisimulation Congruences for Conditional Reactive Systems."

Mathias Hülsbusch, Barbara König (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics