The research contained in this book represents work on the specification and verification of real-time systems using CSP.

Prof.JimDaviesisProfessorofSoftwareEngineeringandthedirectorofthe Software Engineering Programme in the Department of Computer Science, University of Oxford. He is a Fellow of Kellogg College. His research interests include the development of automatic generation of systems from re-usable models of structure and functionality, and he is the Principal Investigator on CancerGrid, a consortium to develop open standards for clinical cancer informatics.

1. The language of CSP; 2. The timed failure model; 3. Recursive processes; 4. Specification; 5. Proof; 6. Structuring specification; 7. Case study; 8. Broadcast information; 9. Discussion.