Cliff B. Jones - Böcker

Object Orientation with Parallelism and Persistence

Reflections on the Work of C.A.R. Hoare

Theories of Programming

The Life and Works of Tony Hoare

Theories of Programming

The Life and Works of Tony Hoare

Object Orientation with Parallelism and Persistence

Reflections on the Work of C.A.R. Hoare

Understanding Programming Languages

Understanding Programming Languages

5th Refinement Workshop

Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8–10 January 1992

Communicating Sequential Processes. The First 25 Years

Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods

4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings

Formal Methods and Hybrid Real-Time Systems

Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Theoretical Aspects of Computing - ICTAC 2007

4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings

Methods, Models and Tools for Fault Tolerance