Communicating sequential processes
The work
| Authors | C. A. R. Hoare |
|---|---|
| Type | article |
| Year | 1978 |
| Citekey | hoare1978communicating |
Where it appeared
| Published in | Communications of the ACM |
|---|---|
| Publisher | Association for Computing Machinery |
| Volume | 21 |
| Issue | 8 |
| Pages | 666--677 |
Identifiers
| DOI | 10.1145/359576.359585 |
|---|---|
| OpenAlex | W4211008702 |
Access
| Free full text | https://dl.acm.org/doi/pdf/10.1145/359576.359585 |
|---|---|
| Landing page | https://doi.org/10.1145/359576.359585 |
Abstract
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 combined with a development of Dijkstra's guarded command, these concepts are surprisingly versatile. Their use is illustrated by sample solutions of a variety of a familiar programming exercises.
A copy is held
pdf, 1.1 MB. Not published — it may be under copyright. The facts and links here are.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-08-05 00:00 UTC |
| Approved by | a person 2026-08-09 12:29 UTC |
Filed under
Cite it as
@article{hoare1978communicating,
title = {Communicating sequential processes},
author = {C. A. R. Hoare},
year = {1978},
journal = {Communications of the ACM},
volume = {21},
number = {8},
pages = {666--677},
publisher = {Association for Computing Machinery},
doi = {10.1145/359576.359585},
}
This record lives at https://refs.drheap.org/hoare1978communicating/ and will keep doing so.