Saturated semantics for reactive systems (2006)

by Filippo Bonchi, Barbara König, Ugo Montanari
Venue:In LICS