C
C. A. R. Hoare
Researcher at Microsoft
Publications - 139
Citations - 30779
C. A. R. Hoare is an academic researcher from Microsoft. The author has contributed to research in topics: Correctness & Communicating sequential processes. The author has an hindex of 54, co-authored 136 publications receiving 30228 citations. Previous affiliations of C. A. R. Hoare include University of Hertfordshire & University of Wollongong.
Papers
More filters
Journal ArticleDOI
Communicating sequential processes
TL;DR: It is suggested that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method.
Journal ArticleDOI
An axiomatic basis for computer programming
TL;DR: 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.
Journal ArticleDOI
Monitors: an operating system structuring concept
TL;DR: In this paper, the authors develop Brinch-Hansen's concept of a monitor as a method of structuring an operating system and describe a possible method of implementation in terms of semaphores and give a suitable proof rule.
Book
Structured Programming
TL;DR: The first monograph has suggested that in analysing a problem and groping towards a solution, a programmer should take advantage of abstract concepts such as sets, sequences, and mappings; and judiciously postpone decisions on representation until he is constructing the more detailed code of the program.
Journal ArticleDOI
A Theory of Communicating Sequential Processes
TL;DR: In this article, a mathematical model for communicating sequential processes is given, and a number of its interesting and useful properties are stated and proved, and the possibilities of nondetermimsm are fully taken into account.