Output Guards and Nondeterminism in “Communicating Sequential Processes”
暂无分享,去创建一个
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.
[1] Fred B. Schneider,et al. Mechanisms for Specifying Scheduling Policies , 1979 .
[2] Abraham Silberschatz,et al. Comments on “Communicating Sequential Processes” , 1979, TOPL.
[3] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[4] Edsger W. Dijkstra,et al. Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.