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 familiar programming exercises. © 1983, ACM. All rights reserved. © 1983, ACM. All rights reserved.
CITATION STYLE
Hoare, C. A. R. (1983). Communicating Sequential Processes. Communications of the ACM, 26(1), 100–106. https://doi.org/10.1145/357980.358021
Mendeley helps you to discover research relevant for your work.