The continuum as a final coalgebra

oole.stanford.edu/pub/ABSTRACTS Pratt, V.R., "Transition and Cancellation in Concurrency and Branching Time", Math. Structures in Comp. Sci., 13:4, 485-529, August 2003. Pratt, V.R., "Comonoids in chu: A large cartesian closed sibling of topological spaces", Proc. Workshop on Coalgebraic Methods in Cs (CMCS'03), Elsevier ENTCS 82:1, 1-12, July 2003. Pratt, V.R., "Chu spaces as a semantic bridge between linear logic and mathematics", Special TCS issue on linear logic, ed. M. Okada, TCS 294:3, 439-471, February 2003. Pratt, V.R., "Event-state duality: the enriched case", Proc. Conf. on Concurrency (CONCUR'02), Springer-Verlag LNCS 2421, 41-56, August 2002. Pavlovi

• Type: Journal
• Year: 2002
• Where: TCS
• Authors: Dusko Pavlovic, Vaughan R. Pratt
• Keywords: Coalgebraic Methods, Linear Logic, Special TCS Issue, TCS 2002, Theoretical Computer Science