DOI: 10.1145/359576.359585 ISSN:
Communicating sequential processes
C. A. R. Hoare- General Computer Science
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.