Saturated semantics for reactive systems (2006)

by F Bonchi, B König, U Montanari
Venue:In LICS