C. A. R. Hoare
1934
Books
- Software and systems safety
- Software system reliability and security
- VDM '90
- Mathematical logic and programming languages
- A calculus of total correctness for communicating processes
- A model for communicating sequential processes
- Unifying theories of programming
- Communicating sequential processes
- Algebraic specification and proof of properties of communicating sequential processes
- Occam 2 Reference Manual
- Mechanized reasoning and hardware design
- Scientific applications of multiprocessors
- The Mathematics of Programming
- The weakest prespecification
- Essays in computing science
- Operating systems techniques
- Developments in concurrency and communication
- Developments in Concurrency and Communication (The Year of Programming Series)
- Notes on data structuring
- Programming is an engineering profession
- A theory of communicating sequential processes
- Computer science
Author data: Open Library