Generalised coinduction
From MaRDI portal
Recommendations
Cites work
- Bisimulation can't be traced
- CMCS `99. Proceedings of the 2nd workshop on Coalgebraic methods in computer science. A satellite event to the European joint conferences on Theory and practice of software, ETAPS `99. Amsterdam, the Netherlands, March 20--21, 1999
- Generalised coinduction
- scientific article; zbMATH DE number 42752 (Why is no real title available?)
- scientific article; zbMATH DE number 1314221 (Why is no real title available?)
- scientific article; zbMATH DE number 1314227 (Why is no real title available?)
- scientific article; zbMATH DE number 1343506 (Why is no real title available?)
- scientific article; zbMATH DE number 1064116 (Why is no real title available?)
- scientific article; zbMATH DE number 1497875 (Why is no real title available?)
- On the bisimulation proof method
- Universal coalgebra: A theory of systems
Cited in
(12)- Corecursion up-to via causal transformations
- Distributive laws for the coinductive solution of recursive equations
- Generalized coiteration schemata
- Relating two approaches to coinductive solution of recursive equations
- Companions, codensity and causality
- Generalizing inference systems by coaxioms
- How to reason coinductively informally
- Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme
- Generalised coinduction
- Generalised coinduction
- Companions, causality and codensity
- Using a generalisation critic to find bisimulations for coinductive proofs
This page was built for publication: Generalised coinduction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4917033)
