Saturated Semantics for Reactive Systems.

Filippo Bonchi, Barbara Knig, Ugo Montanari

Browse the full LICS paper archive.