Proc. of the European symposium on programming on ESOP 86
Action refinement in process algebras
Action refinement in process algebras
Bisimulation semantics for concurrency with atomicity and action refinement
Fundamenta Informaticae
Using Z: specification, refinement, and proof
Using Z: specification, refinement, and proof
Refinement of objects and operations in Object-Z
Fourth International Conference on Formal methods for open object-based distributed systems IV
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
International Refinement Workshop and Formal Methods Pacific 1998
International Refinement Workshop and Formal Methods Pacific 1998
Abstract Specification in Object-Z and CSP
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
Refinement of State-Based Concurrent Systems
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
Refinement in Object-Z and CSP
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
MPC '00 Proceedings of the 5th International Conference on Mathematics of Program Construction
A singleton failures semantics for Communicating Sequential Processes
Formal Aspects of Computing
Data Refinement: Model-Oriented Proof Methods and their Comparison
Data Refinement: Model-Oriented Proof Methods and their Comparison
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
ASM Refinement and generalizations of forward simulation in data refinement: a comparison
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
| Hi-index | 0.00 |
In this paper we survey recent work on generalising refinement in a state-based setting. Such generalisations challenge a number of assumptions embedded in the standard formalisation of refinement in a language such as Z, and lead to simulation conditions that allow one to verify a refinement in a number of different contexts.