On observational equivalence and algebraic specification
- 1 April 1987
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 34 (2-3) , 150-178
- https://doi.org/10.1016/0022-0000(87)90023-7
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Algebraic and operational semantics of specifications allowing exceptions and errorsTheoretical Computer Science, 1984
- Testing equivalences for processesTheoretical Computer Science, 1984
- Parameterized Specifications: Parameter Passing and Implementation with Respect to ObservabilityACM Transactions on Programming Languages and Systems, 1983
- Algebraic implementation of abstract data typesTheoretical Computer Science, 1982
- Partial abstract typesActa Informatica, 1982
- Completeness of many-sorted equational logicACM SIGPLAN Notices, 1981
- I/O-computable data structuresACM SIGPLAN Notices, 1981
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Axioms for abstract model theoryAnnals of Mathematical Logic, 1974
- An Unsolvable Problem of Elementary Number TheoryAmerican Journal of Mathematics, 1936