C. A. R. Hoare
1934
22 works on record
Works
Unifying theories of programming
1998
Developments in Concurrency and Communication (The Year of Programming Series)
1991
Essays in computing science
1989
Occam 2 Reference Manual
1988
Communicating sequential processes
1985
VDM '90
Software system reliability and security
Mathematical logic and programming languages
Developments in concurrency and communication
Mechanized reasoning and hardware design
Operating systems techniques
The Mathematics of Programming
1986
Algebraic specification and proof of properties of communicating sequential processes
1985
The weakest prespecification
1985
Programming is an engineering profession
1982
A model for communicating sequential processes
1981
A theory of communicating sequential processes
1981
A calculus of total correctness for communicating processes
1981
Computer science
1971
Notes on data structuring
1968
Software and systems safety
Scientific applications of multiprocessors