The Steam Boiler in a Unified Theory of Z and CSP

Authors:
Jim Woodcock;Ana Cavalcanti
Affiliations:
-;-
Venue:
APSEC '01 Proceedings of the Eighth Asia-Pacific on Software Engineering Conference
Year:
2001

Citing 0
Cited 8

Towards a Time Model for Circus

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
The Semantics of Circus

ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Semantic Web for Extending and Linking Formalisms

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Refinement in Circus

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Promoting models

UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Constructing property-oriented models for verification

UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
A framework for specification and validation of real-time systems using circus actions

ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
A concurrent language for refinement

IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a formalisation of the steam-boiler problem using Circus, a unified theory of the formal specification languages Z and CSP.The aim of Circus is to provide powerful support for thespecification of the data-oriented and behavioural aspects of concurrent systems, and to provide a calculational developmenttechnique for languages similar to occam, Java, and Handel-C.