Brookes, S. D.; Hoare, C. A. R.; Roscoe, A. W. A theory of communicating sequential processes. (English) Zbl 0628.68025 J. Assoc. Comput. Mach. 31, 560-599 (1984). A mathematical model for communicating sequential processes is given, and a number of its interesting and useful properties are stated and proved. The possibilities of nondeterminism are fully taken into account. Cited in 6 ReviewsCited in 222 Documents MSC: 68N25 Theory of operating systems Keywords:synchrony; asynchrony; parallelism; deadlock; safety; liveness; nondeterminism PDF BibTeX XML Cite \textit{S. D. Brookes} et al., J. Assoc. Comput. Mach. 31, 560--599 (1984; Zbl 0628.68025) Full Text: DOI