Specifications with observable formulae and observational satisfaction relation
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 271-291
- https://doi.org/10.1007/3-540-56379-2_45
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Towards an adequate notion of observationPublished by Springer Nature ,1992
- Initial behaviour semantics for algebraic specificationsLecture Notes in Computer Science, 1988
- The stratified loose approach: A generalization of initial and loose semanticsPublished by Springer Nature ,1988
- Implementation of modular algebraic specificationsPublished by Springer Nature ,1988
- On observational equivalence and algebraic specificationJournal of Computer and System Sciences, 1987
- Universal realization, persistent interconnection and implementation of abstract modulesPublished by Springer Nature ,1982