|
A Model for Communicating Sequential Processes
C A R Hoare
June 1981, 26 pages,
ISBN 0-902928-14-7
A previous paper [1] has suggested that parallel
composition and communication should be accepted as primitive concepts
in programming. This paper supports the suggestion by giving a
simplified mathematical model for process, using traces [2]
of the possible interactions between a process and its
environment.
- C A R Hoare, "Communicating Sequential Processes",
Comm ACM 21:8, pp 666--677
- C A R Hoare, "Some Properties of Predicate Transformers",
JACM 25:3, pp 461--480
|
![[Oxford Spires]](/im/spires.gif){kind=small}
oucl