• Publications
  • Influence
Communicating sequential processes
This paper suggests that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method. When
An axiomatic basis for computer programming
TLDR
An attempt is made to explore the logical foundations of computer programming by use of techniques which were first applied in the study of geometry and have later been extended to other branches of mathematics by elucidation of sets of axioms and rules of inference.
A Theory of Communicating Sequential Processes
A mathematical model for communicating sequential processes isgiven, and a number of its interesting and useful properties arestated and proved. The possibilities of nondetermimsm are fullytaken into
Unifying theories of programming
TLDR
This paper presents simple theories of sequential non-deterministic programming in each of these three styles; by deriving each presentation from its predecessor in a cyclic fashion, mutual consistency is assured.
Communicating sequential processes
This paper suggests that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method. When
A Calculus of Durations
Monitors: an operating system structuring concept
  • C. Hoare
  • Computer Science
    CACM
  • 1 October 1974
This paper develops Brinch-Hansen's concept of a monitor as a method of structuring an operating system. It introduces a form of synchronization, describes a possible method of implementation in
An axiomatic basis for computer programming
  • C. Hoare
  • Computer Science
    CACM
  • 1 October 1969
In this paper an attempt is made to explore the logical foundations of computer programming by use of techniques which were first applied in the study of geometry and have later been extended to
Proof of correctness of data representations
  • C. Hoare
  • Materials Science
    Acta Informatica
  • 1 December 1972
SummaryA powerful method of simplifying the proofs of program correctness is suggested; and some new light is shed on the problem of functions with side-effects.
Procedures and parameters: An axiomatic approach
  • C. Hoare
  • Computer Science
    Symposium on Semantics of Algorithmic Languages
  • 1971
TLDR
The application of the axiomatic method to the definition of procedure and parameter passing features of a high-level progr~mning language reveals that ease of demonstrating program correctness and high efficiency of implementation may be achieved simultaneously.
...
...