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.

• Type: Conference
• Year: 2001
• Where: APSEC
• Authors: Jim Woodcock, Ana Cavalcanti
• Keywords: APSEC 2001, Calculational Development Technique, Formal Specification Languages, Software Engineering, Unified Theory