Deriving Bisimulation Congruences for Conditional Reactive Systems.

Mathias Hlsbusch, Barbara Knig

Browse the full FOSSACS paper archive.