article Open AccessTop 1% cited
Communicating sequential processes
Communications of the ACM · 1978 · Vol. 21(8) · pp. 666–677
C. A. R. Hoare✉(Queen's University Belfast)
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.
Logic, programming, and type systemsParallel Computing and Optimization TechniquesFormal Methods in VerificationComputer scienceStructuringVariety (cybernetics)Programming languageDijkstra's algorithmTheoretical computer scienceSample (material)Artificial intelligenceShortest path problem
Citations
3,481
FWCI
135.63
field-weighted impact
References
8
Percentile
100%
vs. same field & year
Citations per year
References
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM · 1975 · 1,911 citations
Citation Network
How this paper connects to the literature. Drag to explore, click any node to open that paper.