Categories of Processes Enriched in Final Coalgebras

FoSSaCS, pp. 303-317, 2001.

Cited by: 21|Bibtex|Views0|Links
EI
Keywords:
final coalgebrasdynamically extended computationdenotational semanticsprocess categorydifferent flavorMore(6+)

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments