A completeness result for equational deduction in coalgebraic specification
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 190-205
- https://doi.org/10.1007/3-540-64299-4_34
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Invariants, bisimulations and the correctness of coalgebraic refinementsPublished by Springer Nature ,1997
- Objects And Classes, Co-AlgebraicallyPublished by Springer Nature ,1996
- A view on implementing processes: Categories of circuitsPublished by Springer Nature ,1996
- Inheritance and cofree constructionsPublished by Springer Nature ,1996
- Behavioural and abstractor specificationsScience of Computer Programming, 1995
- An approach to object semantics based on terminal co-algebrasMathematical Structures in Computer Science, 1995
- Defining equations in terminal coalgebrasPublished by Springer Nature ,1995
- Terminal coalgebras in well-founded set theoryTheoretical Computer Science, 1993
- Implementation and behavioural equivalence: A surveyPublished by Springer Nature ,1993
- Completeness of calculii for axiomatically defined classes of algebrasAlgebra universalis, 1972