Output Guards and Nondeterminism in “Communicating Sequential Processes”
Arthur J. Bernstein · ACM Transactions on Programming Languages and Systems · 1980
In a recent paper C.A.R. Hoare outlined a language for concurrent programming. Guarded commands and nondeterminism are two features of the language. This paper points out two problems that arise in connection with these features and addresses one of them.