Generalised Coinduction
From MaRDI portal
Publication:4917033
DOI10.1016/S1571-0661(04)80903-4zbMath1260.68236OpenAlexW2341511048MaRDI QIDQ4917033
No author found.
Publication date: 26 April 2013
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80903-4
Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Generalised Coinduction, Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme, Corecursion up-to via causal transformations
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
- Universal coalgebra: A theory of systems
- On the bisimulation proof method
- Bisimulation can't be traced
- Generalised Coinduction