From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems
Open Access
- 1 January 1999
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 19, 2-22
- https://doi.org/10.1016/s1571-0661(05)80265-8
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Relators and Metric Bisimulations: (Extended Abstract)Electronic Notes in Theoretical Computer Science, 1998
- Final semantics for the π-calculusPublished by Springer Nature ,1998
- Bisimulation for probabilistic transition systems: A coalgebraic approachPublished by Springer Nature ,1997
- Relational Properties of DomainsInformation and Computation, 1996
- A Coinduction Principle for Recursive Data Types Based on BisimulationInformation and Computation, 1996
- On the proof method for bisimulationLecture Notes in Computer Science, 1995
- Final semantics for untyped λ-calculusPublished by Springer Nature ,1995
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- The Category-Theoretic Solution of Recursive Domain EquationsSIAM Journal on Computing, 1982