Cliff B. Jones

Theories of Programming

2021

Rigorous Development of Complex Fault-Tolerant Systems

2008

5th Refinement Workshop

2013

Understanding Programming Languages

2021

Theoretical Aspects of Computing - ICTAC 2007

2007

Systematic Software Development Using V. D. M.

1986

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

2014

Dependable and Historic Computing

2011

Dependable And Historic Computing Essays Dedicated To Brian Randell On The Occasion Of His 75th Birthday

2011

Communicating sequential processes

2005

Communicating Sequential Processes. the First 25 Years

2005

Methods, Models and Tools for Fault Tolerance

2009