Initial behaviour semantics for algebraic specifications
- 1 January 1988
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 184-207
- https://doi.org/10.1007/3-540-50325-0_10
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- On observational equivalence and algebraic specificationJournal of Computer and System Sciences, 1987
- A characterization of passing compatibility for parameterized specificationsTheoretical Computer Science, 1987
- On the existence of free models in abstract algebraic institutionsTheoretical Computer Science, 1985
- Observational Specification: A Birkhoff-TheoremPublished by Springer Nature ,1985
- Introducing institutionsPublished by Springer Nature ,1984
- Parameterized Specifications: Parameter Passing and Implementation with Respect to ObservabilityACM Transactions on Programming Languages and Systems, 1983
- Final Data Types and Their SpecificationACM Transactions on Programming Languages and Systems, 1983
- Completeness of many-sorted equational logicACM SIGPLAN Notices, 1982
- Equations and Rewrite Rules: A SurveyPublished by Elsevier ,1980
- The algebraic specification of abstract data typesActa Informatica, 1978