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