Proof systems for structured specifications with observability operators
- 28 February 1997
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 173 (2) , 393-443
- https://doi.org/10.1016/s0304-3975(96)00162-4
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Behavioural theories and the proof of behavioural propertiesTheoretical Computer Science, 1996
- Behavioural and abstractor specificationsScience of Computer Programming, 1995
- On behavioural abstraction and behavioural satisfaction in higher-order logicPublished by Springer Nature ,1995
- Structured theory presentations and logic representationsAnnals of Pure and Applied Logic, 1994
- Observational structures and their logicTheoretical Computer Science, 1992
- Context induction: A proof principle for behavioural abstractions and algebraic implementationsFormal Aspects of Computing, 1991
- How to make algebraic specifications more understandable: An experiment with the pluss specification languageScience of Computer Programming, 1989
- On observational equivalence and algebraic specificationJournal of Computer and System Sciences, 1987
- Algebraic implementation of abstract data typesTheoretical Computer Science, 1982
- Proof of correctness of data representationsActa Informatica, 1972