On behavioural abstraction and behavioural satisfaction in higher-order logic
- 1 January 1995
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- On behavioural abstraction and behavioural satisfaction in higher-order logicPublished by Springer Nature ,1995
- Behavioural theoriesPublished by Springer Nature ,1995
- Second-order proof systems for algebraic specification languagesPublished by Springer Nature ,1994
- The Semantics of Extended ML: A Gentle IntroductionPublished by Springer Nature ,1994
- Two impossibility theorems on behaviour specification of abstract data typesActa Informatica, 1992
- Observing nondeterministic data typesLecture Notes in Computer Science, 1988
- Initial behaviour semantics for algebraic specificationsLecture Notes in Computer Science, 1988
- On observational equivalence and algebraic specificationJournal of Computer and System Sciences, 1987