Parallel programming: An axiomatic approach

Authors:
C. A. R. Hoare
Affiliations:
Department of Computer Science, The Queen's University, Belfast BT7 1NN, Northern Ireland
Venue:
Computer Languages
Year:
1975

Citing 3
Cited 1

Monitors: an operating system structuring concept

Communications of the ACM
Design of a separable transition-diagram compiler

Communications of the ACM
Operating system principles

Operating system principles

A semantics for concurrent separation logic

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper develops some ideas expounded in [1]. It distinguishes a number of ways of using parallelism, including disjoint processes, competition, cooperation, and communication. In each case an axiomatic proof rule is given.