Relators and Metric Bisimulations: (Extended Abstract)
Open Access
- 31 December 1998
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 11, 252-258
- https://doi.org/10.1016/s1571-0661(04)00063-5
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Concurrency and automata on infinite sequencesPublished by Springer Nature ,2005
- A final coalgebra theoremPublished by Springer Nature ,2005
- On the foundations of final coalgebra semantics: non-well-founded sets, partial orders, metric spacesMathematical Structures in Computer Science, 1998
- Structural Induction and Coinduction in a Fibrational SettingInformation and Computation, 1998
- Generalized metric spaces: Completion, topology, and powerdomains via the Yoneda embeddingTheoretical Computer Science, 1998
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980
- Metric spaces, generalized logic, and closed categoriesRendiconti del Seminario Matematico e Fisico di Milano, 1973