A hidden agenda
- 17 August 2000
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 245 (1) , 55-101
- https://doi.org/10.1016/s0304-3975(99)00275-3
Abstract
No abstract availableKeywords
This publication has 33 references indexed in Scilit:
- A final coalgebra theoremPublished by Springer Nature ,2005
- Hidden coinduction: behavioural correctness proofs for objectsMathematical Structures in Computer Science, 1999
- Invariants, bisimulations and the correctness of coalgebraic refinementsPublished by Springer Nature ,1997
- Algebraic implementation of abstract data types: a survey of concepts and new compositionality resultsMathematical Structures in Computer Science, 1996
- Behavioural and abstractor specificationsScience of Computer Programming, 1995
- An approach to object semantics based on terminal co-algebrasMathematical Structures in Computer Science, 1995
- An Oxford survey of order sorted algebraMathematical Structures in Computer Science, 1994
- Institutions: abstract model theory for specification and programmingJournal of the ACM, 1992
- Data structures and program transformationScience of Computer Programming, 1990
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977