Sciweavers

Share
APSEC
2001
IEEE

The Steam Boiler in a Unified Theory of Z and CSP

9 years 10 months ago
The Steam Boiler in a Unified Theory of Z and CSP
This paper presents a formalisation of the steamboiler problem using Circus, a unified theory of the formal specification languages Z and CSP. The aim of Circus is to provide powerful support for the specification of the data-oriented and behavioural aspects of concurrent systems, and to provide a calculational development technique for languages similar to occam, Java, and Handel-C.
Jim Woodcock, Ana Cavalcanti
Added 23 Aug 2010
Updated 23 Aug 2010
Type Conference
Year 2001
Where APSEC
Authors Jim Woodcock, Ana Cavalcanti
Comments (0)
books