Output Guards and Nondeterminism in “Communicating Sequential Processes”

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Output Guards and Nondeterminism in “Communicating Sequential Processes”

Full text

Pdf (343 KB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 2 , Issue 2 (April 1980) table of contents

Pages: 234 - 238

Year of Publication: 1980

ISSN:0164-0925

Author

Arthur Bernstein

Department of Computer Science, State University of New York at Stony Brook, Long Island, NY

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 44, Citation Count: 23

Additional Information:

abstract references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/357094.357101 What is a DOI?

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.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Edsger W. Dijkstra, Guarded commands, nondeterminacy and formal derivation of programs, Communications of the ACM, v.18 n.8, p.453-457, Aug. 1975 [doi>10.1145/360933.360975]
	2	C. A. R. Hoare, Communicating sequential processes, Communications of the ACM, v.21 n.8, p.666-677, Aug. 1978 [doi>10.1145/359576.359585]
	3	Richard B. Kieburtz , Abraham Silberschatz, Comments on “Communicating Sequential Processes”, ACM Transactions on Programming Languages and Systems (TOPLAS), v.1 n.2, p.218-225, Oct. 1979 [doi>10.1145/357073.357077]
	4	Fred B. Schneider , A. J. Bernstein, Mechanisms for Specifying Scheduling Policies, Cornell University, Ithaca, NY, 1979

CITED BY 23

	C.-D. Jung , E. Siberrt, Polling in concurrent programming, Proceedings of the 17th conference on ACM Annual Computer Science Conference, p.204-209, February 21-23, 1989, Louisville, Kentucky
	Jonathan Kepecs , Marvin Solomon, SODA: A simplified operating system for distributed applications, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.208-219, August 27-29, 1984, Vancouver, British Columbia, Canada
	Pamela Zave, Testing incomplete specifications of distributed systems, Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, p.42-48, August 18-20, 1982, Ottawa, Canada
	G. N. Buckley , Abraham Silberschatz, An Effective Implementation for the Generalized Input-Output Construct of CSP, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.2, p.223-235, April 1983
	Gregory R. Andrews , Fred B. Schneider, Concepts and Notations for Concurrent Programming, ACM Computing Surveys (CSUR), v.15 n.1, p.3-43, March 1983
	S. H. Hosseini , B. E. Litow , M. I. Malkawi , K. Vairavan, Distributed algorithms for load balancing in very large homogeneous systems, Proceedings of the 1987 Fall Joint Computer Conference on Exploring technology: today and tomorrow, p.397-404, December 1987, Dallas, Texas, United States
	Arthur Charlesworth, The multiway rendezvous, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.3, p.350-366, July 1987
	John Reif , Paul Spirakis, Real time resource allocation in distributed systems, Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, p.84-94, August 18-20, 1982, Ottawa, Canada
	Fred B. Schneider, Synchronization in Distributed Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.2, p.125-148, April 1982
	Henri E. Bal , Jennifer G. Steiner , Andrew S. Tanenbaum, Programming languages for distributed computing systems, ACM Computing Surveys (CSUR), v.21 n.3, p.261-322, Sep. 1989
	Abha Moitra, Synthesis of communicating processes, Proceedings of the second annual ACM symposium on Principles of distributed computing, p.123-130, August 17-19, 1983, Montreal, Quebec, Canada
	Rajive Bagrodia, Synchronization of asynchronous processes in CSP, ACM Transactions on Programming Languages and Systems (TOPLAS), v.11 n.4, p.585-597, Oct. 1989
	Rajiv Gupta , Scott A. Smolka , Shaji Bhaskar, On randomization in sequential and distributed algorithms, ACM Computing Surveys (CSUR), v.26 n.1, p.7-86, March 1994
	A. P. Sistla, Distributed algorithms for ensuring fair interprocess communicatons, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.266-277, August 27-29, 1984, Vancouver, British Columbia, Canada
	John H. Reif , Paul G. Spirakis, Real-Time Synchronization of Interprocess Communications, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.2, p.215-238, April 1984
	John Reif , Paul Spirakis, Distributed algorithms for synchronizing interprocess communication within real time, Proceedings of the thirteenth annual ACM symposium on Theory of computing, p.133-145, May 11-13, 1981, Milwaukee, Wisconsin, United States
	G. Castelli , F. De Cindio , G. De Michelis , C. Simone, An overview of the GCP programming language, Proceedings of the 1985 ACM SIGSMALL symposium on Small systems, p.245-253, May 1985, Danvers, Massachusetts, United States
	Gregory R. Andrews, Paradigms for process interaction in distributed programs, ACM Computing Surveys (CSUR), v.23 n.1, p.49-90, March 1991
	John Reif , Paul Spirakis, Unbounded speed variability in distributed communication systems, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.46-56, January 25-27, 1982, Albuquerque, Mexico
	Jonathan Kepecs , Marvin Solomon, SODA: a simplified operating system for distributed applications, ACM SIGOPS Operating Systems Review, v.19 n.4, p.45-56, October 1985
	L. Chiu , M. T. Liu, High level specification of concurrency control in distributed database systems, Proceedings of the 10th international conference on Software engineering, p.309-317, April 11-15, 1988, Singapore
	R. Bagrodia, Process Synchronization: Design and Performance Evaluation of Distributed Algorithms, IEEE Transactions on Software Engineering, v.15 n.9, p.1053-1065, September 1989
	Krzysztof R. Apt , Nissim Francez, Modeling the distributed termination convention of CSP, ACM Transactions on Programming Languages and Systems (TOPLAS), v.6 n.3, p.370-379, July 1984