Categories of processes enriched in final coalgebras (0)

by S Krstić, J Launchbury, D Pavlović
Venue:in Proc. of 4th Int. Conf. on Foundations of Software Science and Computation Structures, FoSSaCS’01