Introducing Reference Semantics via Refinement
- 10 October 2002
- book chapter
- Published by Springer Nature
- p. 588-599
- https://doi.org/10.1007/3-540-36103-0_60
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Encoding Object-Z in Isabelle/HOLPublished by Springer Nature ,2002
- Recursive Schema Definitions in Object-ZPublished by Springer Nature ,2000
- Object-Z: A specification language advocated for the description of standardsComputer Standards & Interfaces, 1995
- A fully abstract semantics of classes for Object-ZFormal Aspects of Computing, 1995
- Formal Object-Oriented DevelopmentPublished by Springer Nature ,1995
- Refinement in Object-Oriented Specification LanguagesPublished by Springer Nature ,1994
- The Adoption of Formal Methods Within OTCPublished by Elsevier ,1992
- Object Orientation in ZPublished by Springer Nature ,1992
- Modular Object-Oriented Z SpecificationsPublished by Springer Nature ,1991
- A state-based approach to communicating processesDistributed Computing, 1988