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. © 1978, ACM. All rights reserved.
CITATION STYLE
Hoare, C. A. R. (1978). Communicating Sequential Processes. Communications of the ACM, 21(8), 666–677. https://doi.org/10.1145/359576.359585
Mendeley helps you to discover research relevant for your work.