Semantical constructions for categories of behavioural specifications
- 1 January 1989
- book chapter
- Published by Springer Nature
- p. 220-243
- https://doi.org/10.1007/3-540-51722-7_13
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- A categorical concept of constraints for algebraic specificationsPublished by Springer Nature ,1989
- Algebraic specification of modules and their basic interconnectionsJournal of Computer and System Sciences, 1987
- On observational equivalence and algebraic specificationJournal of Computer and System Sciences, 1987
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985
- Observational Specification: A Birkhoff-TheoremPublished by Springer Nature ,1985