Characterizing behavioural semantics and abstractor semantics
- 1 January 1994
- book chapter
- Published by Springer Nature
- p. 105-119
- https://doi.org/10.1007/3-540-57880-3_7
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Proving behavioural theorems with standard first-order logicPublished by Springer Nature ,1994
- Specifications with observable formulae and observational satisfaction relationPublished by Springer Nature ,1993
- Context induction: A proof principle for behavioural abstractions and algebraic implementationsFormal Aspects of Computing, 1991
- Toward formal development of programs from algebraic specifications: Implementations revisitedActa Informatica, 1988
- Initial behaviour semantics for algebraic specificationsLecture Notes in Computer Science, 1988
- Structured algebraic specifications: A Kernel languageTheoretical Computer Science, 1986
- Fully abstract models of typed λ-calculiTheoretical Computer Science, 1977