Relators and metric bisimulations: (Extended abstract)

Electronic Notes in Theoretical Computer Science

Volumn 11, Issue , 1998, Pages 252-258

  Rutten, J J M M ^a  

^a CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTER SIMULATION; FUNCTIONS; MATHEMATICAL OPERATORS; SET THEORY; THEOREM PROVING;

COALGEBRA; F-BISIMULATION; HOMOMORPHISM; SET FUNCTORS;

COMPUTER SCIENCE;

EID: 19044371518     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00063-5     Document Type: Article

References (11)

1. P. Aczel and N. Mendler. A final coalgebra theorem. In D.H. Pitt, D.E. Ryeheard, P. Dybjer, A. M. Pitts, and A. Poigne, authors, Proceedings category theory and computer science, Lecture Notes in Computer Science, pages 357-365, 1989.
2. Bonsangue M.M., van Breugel F., Rutten J.J.M.M. Generalized metric spaces: completion, topology, and powerdomains via the Yoneda embedding. Theoretical Computer Science. 193:1998;1-51
3. Bird R., de Moor O. Algebra of programming. 1997;Prentice Hall International
4. A. Carboni, G.M. Kelly, and R.J. Wood. A 2-categorical approach to change of base and geometric morphisms I. Report 90-1, Department of Pure Mathematics, University of Sydney, 1990. ISSN 1033-2359.
5. C. Hermida and B. Jacobs. Structural induction and coinduction in a fibrational setting. To appear in Information and Computation, 1998.
6. Lawvere F.W. Metric spaces, generalized logic, and closed categories. Rendiconti del Seminario Matematico e Fisico di Milano. 43:1973;135-166
7. M. Lenisa. Themes in final semantics. PhD thesis, University of Udine, Udine, Italy, 1998.
8. R. Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1980.
9. D.M.R. Park. Concurrency and automata on infinite sequences. In P. Deussen, author, Proceedings 5th GI conference, volume 104 of Lecture Notes in Computer Science, pages 15-32. Springer-Verlag, 1981.
10. J.J.M.M. Rutten. Universal coalgebra: a theory of systems. Report CS-R9652, CWI, 1996. FTP-available at ftp.cwi.nl as pub/CWIreports/AP/CS-R9652. ps.Z.
11. Turi D., Rutten J.J.M.M. On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spaces. Mathematical Structures in Computer Science. 1998