Saturated Semantics for Reactive Systems
Reference
Filippo Bonchi, Barbara König, and Ugo Montanari. Saturated semantics for reactive systems. In Proc. of LICS '06, pages 69–80. IEEE, 2006.
Suggested BibTeX entry:
@inproceedings{BKM06,
author = {Filippo Bonchi and Barbara K\"onig and Ugo Montanari},
booktitle = {Proc. of LICS '06},
pages = {69--80},
publisher = {IEEE},
title = {Saturated Semantics for Reactive Systems},
year = {2006}
}
