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}
}
