A comparison of concurrent languages: a class project

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A comparison of concurrent languages: a class project

Full text

Pdf (318 KB)

Source

Technical Symposium on Computer Science Education archive
Proceedings of the eighteenth SIGCSE technical symposium on Computer science education table of contents

St. Louis, Missouri, United States

Pages: 62 - 66

Year of Publication: 1987

ISBN:0-89791-217-9

Also published in ...

Author

Verlynda Dobbs

Department of Computer Science & Computer Engineering, Wright State University, Daytona, Ohio

Sponsor

SIGCSE: ACM Special Interest Group on Computer Science Education

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 3, Downloads (12 Months): 19, Citation Count: 1

Additional Information:

abstract references cited by index terms collaborative colleagues peer to peer

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

ABSTRACT

This paper describes a class project for a graduate level course in systems programming which emphasizes concurrency issues.

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.

	BEN82	Ben Ari , M. Ben-Ari, Principles of Concurrent Programming, Prentice Hall Professional Technical Reference, 1982
	BLO79	T. Bloom, SYNCHRONIZATION MECHANISMS FOR MODULAR PROGRAMMING LANGUAGE, Massachusetts Institute of Technology, Cambridge, MA, 1979
	GEH84	Gehani, N. and W. Roome, Concurrent C, AT & T Bell Laboratories, Murray Hill, New Jersey, 1984.
	HOA85	C. A. R. Hoare, Communicating sequential processes, Prentice-Hall, Inc., Upper Saddle River, NJ, 1985
	HOL83	Holt, R., Concurrent Euclid~ UNIX, and Addison-Wesley Publishing Company, Reading, Massachusetts, 1983.
	ICH79	Jean D. Ichbiah , Bernd Krieg-Brueckner , Brian A. Wichmann , John G. P. Barnes , Olivier Roubine , Jean-Claude Heliard, Rationale for the design of the Ada programming language, ACM SIGPLAN Notices, v.14 n.6b, p.1-261, June 1979 [doi>10.1145/956653.956654]
	INM83	INMOS, Occam - Programming Manual, INMOS Limited, 1983.
	SHA83	Shapiro, E., "A Subset of Concurrent Prolog and Its Interpreter," Revised version of TR-003, Institute for New Generation Computer Technology, Tokyo, Japan, February 1983.
	WIR82	Wirth, N., Programming in M0.d~la-2, Springer, 1982.
	10	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 [doi>10.1145/356901.356903]
	11	T. Bloom, SYNCHRONIZATION MECHANISMS FOR MODULAR PROGRAMMING LANGUAGE, Massachusetts Institute of Technology, Cambridge, MA, 1979
	12	Toby Bloom, Evaluating synchronization mechanisms, Proceedings of the seventh ACM symposium on Operating systems principles, p.24-32, December 10-12, 1979, Pacific Grove, California, United States [doi>10.1145/800215.806566]
	13	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]
	14	Hewitt, C. and R. Atkinson, "Specification and Proof Techniques for Serializers," IEEE Transactions on Software Engineering, Vol. SE-5, No. 1, January 1979.
	15	C. A. R. Hoare, An axiomatic basis for computer programming, Communications of the ACM, v.12 n.10, p.576-580, Oct. 1969 [doi>10.1145/363235.363259]
	16	C. A. R. Hoare, Monitors: an operating system structuring concept, Communications of the ACM, v.17 n.10, p.549-557, Oct. 1974 [doi>10.1145/355620.361161]
	17	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]
	18	Kieburtz, R., "Capability Managers," IEEE Transactions on Software Engineering, Vol. SE-4, No. 6, November 1978.
	19	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]
	20	Leslie Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, v.21 n.7, p.558-565, July 1978 [doi>10.1145/359545.359563]
	21	Hugh C. Lauer , Roger M. Needham, On the duality of operating system structures, ACM SIGOPS Operating Systems Review, v.13 n.2, p.3-19, April 1979 [doi>10.1145/850657.850658]
	22	Per Brinch Hansen, Distributed processes: a concurrent programming concept, Communications of the ACM, v.21 n.11, p.934-941, Nov. 1978 [doi>10.1145/359642.359651]
	23	James L. Peterson, Petri Nets, ACM Computing Surveys (CSUR), v.9 n.3, p.223-252, Sept. 1977 [doi>10.1145/356698.356702]
	24	David P. Reed , Rajendra K. Kanodia, Synchronization with eventcounts and sequencers, Communications of the ACM, v.22 n.2, p.115-123, Feb. 1979 [doi>10.1145/359060.359076]
	25	Wegner, P. and S. Smolka, "Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives," IEEE Transactions onSoftware Engineering, Vol. SE-9, No. 4, July 1983.