Coalgebraic Models for Reactive Systems.

Filippo Bonchi, Ugo Montanari

Browse the full CONCUR paper archive.