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.
Keywords
Computer scienceStructuringVariety (cybernetics)Programming languageDijkstra's algorithmTheoretical computer scienceSample (material)Artificial intelligenceShortest path problem
Affiliated Institutions
Related Publications
Communicating sequential processes
This paper suggests that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program struct...
The temporal logic of programs
A unified approach to program verification is suggested, which applies to both sequential and parallel programs. The main proof method suggested is that of temporal reasoning in...
Casting Petri Nets into Programs
A programming system has been implemented in which annotated Petri nets are used as machine-processable high-evel design representations. The nets can be used to express the par...
A Formal Approach to Workflow Analysis
Agile manufacturing, fast-response micromarketing, and the rise of the virtual organization have led managers to focus on cross-functional business processes that link various d...
Understanding Molecular Simulation: From Algorithms to Applications
Second and revised edition \n \nUnderstanding Molecular Simulation: From Algorithms to Applications explains the physics behind the "recipes" of molecular simulation for...
Publication Info
- Year
- 1978
- Type
- article
- Volume
- 21
- Issue
- 8
- Pages
- 666-677
- Citations
- 3469
- Access
- Closed
External Links
Social Impact
Altmetric
PlumX Metrics
Social media, news, blog, policy document mentions
Citation Metrics
3469
OpenAlex
Cite This
C. A. R. Hoare
(1978).
Communicating sequential processes.
Communications of the ACM
, 21
(8)
, 666-677.
https://doi.org/10.1145/359576.359585
Identifiers
- DOI
- 10.1145/359576.359585