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