Journal ArticleOPEN ACCESS

Output Guards and Nondeterminism in “Communicating Sequential Processes”

ACM Transactions on Programming Languages and Systems (TOPLAS) (1980) 2(2) 234-238
DOI: 10.1145/357094.357101
54Citations
Citations of this article
8Readers
Mendeley users who have this article in their library.

Abstract

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. © 1980, ACM. All rights reserved.

Cite

CITATION STYLE

APA

Bernstein, A. (1980). Output Guards and Nondeterminism in “Communicating Sequential Processes.” ACM Transactions on Programming Languages and Systems (TOPLAS), 2(2), 234–238. https://doi.org/10.1145/357094.357101

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free