Observational Logic
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 263-277
- https://doi.org/10.1007/3-540-49253-4_20
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Completeness of a logical system for structured specificationsPublished by Springer Nature ,1998
- Behavioural theories and the proof of behavioural propertiesTheoretical Computer Science, 1996
- Swinging data typesPublished by Springer Nature ,1996
- Behavioural and abstractor specificationsScience of Computer Programming, 1995
- An approach to object semantics based on terminal co-algebrasMathematical Structures in Computer Science, 1995
- Proving the correctness of behavioural implementationsPublished by Springer Nature ,1995
- A behavioural algebraic framework for modular system design with reusePublished by Springer Nature ,1994
- Institutions: abstract model theory for specification and programmingJournal of the ACM, 1992
- Specifications in an arbitrary institutionInformation and Computation, 1988
- Initial behaviour semantics for algebraic specificationsLecture Notes in Computer Science, 1988