Hoare: communicating sequential processes

What changed

Presented input/output primitives and parallel composition as CSP program structure.

Scientific scope

The record is Hoare’s sole-author 1978 Communications of the ACM paper. It is the original programming-language presentation, not the later failures/divergences process algebra, 1985 book or every system influenced by CSP.

Evidence

The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is Hoare’s sole-author 1978 Communications of the ACM paper. It is the original programming-language presentation, not the later failures/divergences process algebra, 1985 book or every system influenced by CSP.

Contributors

• C. A. R. Hoare · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.

• ACM DOI record for Hoare CSP
• University-hosted copy of Hoare CSP

Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.

Full scientific record · Browse contribution grades · Request a correction