Cliff B. Jones
Books
- Methods, Models and Tools for Fault Tolerance
- Rigorous Development of Complex Fault-Tolerant Systems
- Communicating Sequential Processes. the First 25 Years
- Reflections on the Work of C.A.R. Hoare
- 5th Refinement Workshop
- Systematic Software Development Using V. D. M.
- Dependable and Historic Computing
- Theories of Programming
- Understanding Programming Languages
- Dependable And Historic Computing Essays Dedicated To Brian Randell On The Occasion Of His 75th Birthday
- Theoretical Aspects of Computing - ICTAC 2007
- Communicating sequential processes
Author data: Open Library