Conditional Bisimilarity for Reactive Systems.

Mathias Hlsbusch, Barbara Knig, Sebastian Kpper, Lara Stoltenow

Browse the full FSCD paper archive.