Observational specifications and the indistinguishability assumption
- 6 March 1995
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 139 (1-2) , 275-314
- https://doi.org/10.1016/0304-3975(94)00017-d
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- New Concepts for Amalgamation and Extension in the Framework of Specification LogicsPublished by World Scientific Pub Co Pte Ltd ,1993
- Specifications with observable formulae and observational satisfaction relationPublished by Springer Nature ,1993
- Institutions: abstract model theory for specification and programmingJournal of the ACM, 1992
- Towards an adequate notion of observationPublished by Springer Nature ,1992
- Context induction: A proof principle for behavioural abstractions and algebraic implementationsFormal Aspects of Computing, 1991
- The stratified loose approach: A generalization of initial and loose semanticsPublished by Springer Nature ,1988
- Observational Specification: A Birkhoff-TheoremPublished by Springer Nature ,1985
- Introducing institutionsPublished by Springer Nature ,1984
- Final Data Types and Their SpecificationACM Transactions on Programming Languages and Systems, 1983
- Universal realization, persistent interconnection and implementation of abstract modulesPublished by Springer Nature ,1982