Communicating sequential processes
- 1 January 1983
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 26 (1) , 100-106
- https://doi.org/10.1145/357980.358021
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 familiar programming exercises.Keywords
This publication has 6 references indexed in Scilit:
- Guarded commands, nondeterminacy and formal derivation of programsCommunications of the ACM, 1975
- Proof of correctness of data representationsActa Informatica, 1972
- The programming language pascalActa Informatica, 1971
- Report on the Algorithmic Language ALGOL 68Numerische Mathematik, 1969
- Design of a separable transition-diagram compilerCommunications of the ACM, 1963
- Report on the algorithmic language ALGOL 60Communications of the ACM, 1960