Behavioural theories
- 1 January 1995
- book chapter
- Published by Springer Science and Business Media LLC
- 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 logicLecture Notes in Computer Science, 1995
- Behavioural SpecificationsPublished by Springer Science and Business Media LLC ,1995
- Characterizing behavioural semantics and abstractor semanticsLecture Notes in Computer Science, 1994
- Proving behavioural theorems with standard first-order logicLecture Notes in Computer Science, 1994
- Structured Specifications: Syntax, Semantics and Proof CalculusPublished by Springer Science and Business Media LLC ,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 Science and Business Media LLC ,1982
- Fully abstract models of typed λ-calculiTheoretical Computer Science, 1977