Categories of Processes Enriched in Final Coalgebras
FoSSaCS, pp. 303-317, 2001.
final coalgebrasdynamically extended computationdenotational semanticsprocess categorydifferent flavorMore(6+)
Simulations between processes can be understood in terms of coalgebra homomorphisms, with homomorphisms to the final coalgebra exactly identifying bisimilar processes. The elements of the final coalgebra are thus natural representatives of bisimilarity classes, and a denotational semantics of processes can be developed in a final-coalgebr...More
PPT (Upload PPT)