Communicating Sequential Processes

@article{Hoare1978CommunicatingSP,
  title={Communicating Sequential Processes},
  author={C. A. R. Hoare},
  journal={Commun. ACM},
  year={1978},
  volume={21},
  pages={666-677}
}
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. 

Citations

Publications citing this paper.
SHOWING 1-10 OF 7,365 CITATIONS

Supporting development of Event-B models

VIEW 30 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Non-determinism in Probabilistic Timed Systems with General Distributions

  • Electr. Notes Theor. Comput. Sci.
  • 2001
VIEW 12 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Analysis and Coordination of Mixed-Criticality Cyber-Physical Systems

VIEW 5 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Formal framework for security policy enforcement in computer systems

VIEW 11 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Towards efficient and scalable computer vision systems

VIEW 11 EXCERPTS
CITES METHODS & BACKGROUND
HIGHLY INFLUENCED

Vérification formelle de systèmes d'information

VIEW 9 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Calculus of Concurrent Probabilistic Reversible Processes

  • ICCCT-2017
  • 2017
VIEW 7 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Concurrency Semantics in Continuation-Passing Style

VIEW 6 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Formalising Cosimulation Models

VIEW 13 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

Modeling and verification of Web services composition based on model transformation

  • Softw., Pract. Exper.
  • 2017
VIEW 6 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

FILTER CITATIONS BY YEAR

1978
2019

CITATION STATISTICS

  • 1,586 Highly Influenced Citations

  • Averaged 124 Citations per year from 2017 through 2019

References

Publications referenced by this paper.