Proving behavioural theorems with standard first-order logic
- 1 January 1994
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Proving the correctness of algebraic implementations by the ISAR systemPublished by Springer Nature ,2005
- Characterizing behavioural semantics and abstractor semanticsPublished by Springer Nature ,1994
- How to Prove Observational Theorems with LPPublished by Springer Nature ,1993
- 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
- An overview of LP, the Larch ProverLecture Notes in Computer Science, 1989
- Initial behaviour semantics for algebraic specificationsLecture Notes in Computer Science, 1988
- On observational equivalence and algebraic specificationPublished by Springer Nature ,1985
- Universal realization, persistent interconnection and implementation of abstract modulesPublished by Springer Nature ,1982
- Fully abstract models of typed λ-calculiTheoretical Computer Science, 1977