Comments on “Communicating Sequential Processes”

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Comments on “Communicating Sequential Processes”

Full text

Pdf (471 KB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 1 , Issue 2 (October 1979) table of contents

Pages: 218 - 225

Year of Publication: 1979

ISSN:0164-0925

Authors

Richard B. Kieburtz	Department of Computer Science, SUNY At Stony Brook, NY
Abraham Silberschatz	Programs in Mathematical Sciences, University of Texas at Dallas, Richardson, TX

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 6, Downloads (12 Months): 47, Citation Count: 13

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/357073.357077 What is a DOI?

ABSTRACT

In his recent paper, “Communicating Sequential Processes” (Comm. ACM 21, 8 (Aug. 1978), 666-677), C.A.R. Hoare outlines a programming language notation for interprocess communication in which processes are synchronized by the messages they exchange. The notation carries with it certain implications for the synchronization protocols required in a message transfer. These are not at all obvious and are made explicit here. An alternative convention is suggested in which communication and synchronization are partially uncoupled from one another.

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.

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]

CITED BY 13

	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
	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
	Verlynda Dobbs, A comparison of concurrent languages: a class project, ACM SIGCSE Bulletin, v.19 n.1, p.62-66, Feb. 1987
	Arthur Bernstein, Output Guards and Nondeterminism in “Communicating Sequential Processes”, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.2, p.234-238, April 1980
	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. 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
	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
	David Gelernter, Generative communication in Linda, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.1, p.80-112, Jan. 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
	Pamela Zave, An Insider's Evaluation of PAISLey, IEEE Transactions on Software Engineering, v.17 n.3, p.212-225, March 1991
	Pamela Zave, An overview of the PAISLey project-1984, ACM SIGSOFT Software Engineering Notes, v.9 n.4, p.12-19, July 1984
	N. De Francesco , G. Vaglini, Description for a Tool Specifying and Prototyping Concurrent Programs, IEEE Transactions on Software Engineering, v.14 n.11, p.1554-1564, November 1988
	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