Communicating Sequential Processes
Communications of the ACM (1978)
- ISSN: 00010782
- ISBN: 0131532715
- DOI: 10.1016/0167-6423(87)90028-1
- PubMed: 2142694823583477576
Available from linkinghub.elsevier.com
or
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.
Sign up today - FREE
Mendeley saves you time finding and organizing research. Learn more
- All your research in one place
- Add and import papers easily
- Access it anywhere, anytime
Start using Mendeley in seconds!
Readership Statistics
313 Readers on Mendeley
by Discipline
2% Mathematics
by Academic Status
42% Ph.D. Student
11% Student (Master)
9% Other Professional
by Country
23% United States
12% United Kingdom
12% Germany
