Behavioural theories
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 153-169
- https://doi.org/10.1007/bfb0014426
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- On behavioural abstraction and behavioural satisfaction in higher-order logicPublished by Springer Nature ,1995
- Behavioural SpecificationsPublished by Springer Nature ,1995
- Characterizing behavioural semantics and abstractor semanticsPublished by Springer Nature ,1994
- Proving behavioural theorems with standard first-order logicPublished by Springer Nature ,1994
- Structured Specifications: Syntax, Semantics and Proof CalculusPublished by Springer Nature ,1993
- Behavioural correctness of data representationsScience of Computer Programming, 1990
- Toward formal development of programs from algebraic specifications: Implementations revisitedActa Informatica, 1988
- Initial behaviour semantics for algebraic specificationsLecture Notes in Computer Science, 1988
- Universal realization, persistent interconnection and implementation of abstract modulesPublished by Springer Nature ,1982
- Fully abstract models of typed λ-calculiTheoretical Computer Science, 1977