Invariants, bisimulations and the correctness of coalgebraic refinements
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 276-291
- https://doi.org/10.1007/bfb0000477
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- A final coalgebra theoremPublished by Springer Nature ,2005
- Behaviour-refinement of coalgebraic specifications with coinductive correctness proofsPublished by Springer Nature ,1997
- Objects And Classes, Co-AlgebraicallyPublished by Springer Nature ,1996
- Coalgebraic specifications and models of deterministic hybrid systemsPublished by Springer Nature ,1996
- Mongruences and cofree coalgebrasPublished by Springer Nature ,1995
- An algebraic view of structural inductionPublished by Springer Nature ,1995
- Temporal and Modal LogicPublished by Elsevier ,1990
- An algebraic approach to refinementPublished by Springer Nature ,1990
- Parametrized data types do not need highly constrained parametersInformation and Control, 1982
- Proof of correctness of data representationsActa Informatica, 1972