Categories of Processes Enriched in Final Coalgebras.

Sava Krstic, John Launchbury, Dusko Pavlovic

Browse the full FOSSACS paper archive.