Behavioural satisfaction and equivalence in concrete model categories
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 241-256
- https://doi.org/10.1007/3-540-61064-2_41
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Behavioural satisfaction and equivalence in concrete model categoriesPublished by Springer Nature ,1996
- Proving the correctness of behavioural implementationsPublished by Springer Nature ,1995
- Proving behavioural theorems with standard first-order logicPublished by Springer Nature ,1994
- Institutions: abstract model theory for specification and programmingJournal of the ACM, 1992
- On observational equivalence and algebraic specificationJournal of Computer and System Sciences, 1987
- Quasi-varieties in abstract algebraic institutionsJournal of Computer and System Sciences, 1986
- LCF considered as a programming languageTheoretical Computer Science, 1977
- Fully abstract models of typed λ-calculiTheoretical Computer Science, 1977
- Proof of correctness of data representationsActa Informatica, 1972
- Categories for the Working MathematicianPublished by Springer Nature ,1971