A MODEL FOR COMMUNICATING SEQUENTIAL PROCESSES
C.A.R. Hoare
Abstract
A previous paper (Hoare, 1978b) 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 processes, using traces (Hoare, 1978a) of the possible interactions between a process and its environment.
Institution
OUCL
Month
June
Number
PRG22
Pages
32
Year
1981