Deriving Bisimulation Congruences for Conditional Reactive Systems

Reference

Mathias Hülsbusch and Barbara König. Deriving bisimulation congruences for conditional reactive systems. In Proc. of FOSSACS '12, pages 361–375. Springer, 2012. LNCS/ARCoSS 7213.

Suggested BibTeX entry:

@inproceedings{HK12,
    author = {Mathias H\"{u}lsbusch and Barbara K\"{o}nig},
    booktitle = {Proc. of FOSSACS '12},
    note = {{LNCS/ARCoSS} 7213},
    pages = {361--375},
    publisher = {Springer},
    title = {Deriving Bisimulation Congruences for Conditional Reactive Systems},
    year = {2012}
}

See link.springer.com ...