Concepts and Notations for Concurrent Programming

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Concepts and Notations for Concurrent Programming

Full text

Pdf (4.02 MB)

Source

ACM Computing Surveys (CSUR) archive
Volume 15 , Issue 1 (March 1983) table of contents

Pages: 3 - 43

Year of Publication: 1983

ISSN:0360-0300

Authors

Gregory R. Andrews	Department of Computer Science, University of Arizona, Tucson, Arizona
Fred B. Schneider	Department of Computer Science, Cornell University, Ithaca, New York

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 49, Downloads (12 Months): 274, Citation Count: 92

Additional Information:

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

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	AKKOYUNLU, E. A., BERNSTEIN, A. J., SCHNEIDER, F. B., AND SILBERSCHATZ, A. "Conditions for the equivalence of synchronous and asynchronous systems." IEEE Trans. Softw. Eng. SE-4, 6 (Nov. 1978), 507-516.
	2	Sten Andler, Predicate path expressions, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.226-236, January 29-31, 1979, San Antonio, Texas [doi>10.1145/567752.567774]
	3	ANDREWS, G.R. "The design era message switching system: An application and evaluation of Modula." IEEE Trans. 8oftw. Eng. SE-5, 2 (March 1979), 138-147.
	4	Gregory R. Andrews, Synchronizing Resources, ACM Transactions on Programming Languages and Systems (TOPLAS), v.3 n.4, p.405-430, Oct. 1981 [doi>10.1145/357146.357149]
	5	ANDREWS, G.R. "The distributed programming language SR--Mechanisms, design, and implementation." Softw. Pract. Exper. 12, 8 (Aug. 1982), 719-754.
	6	Gregory R. Andrews , James R. McGraw, Language features for process interaction, Proceedings of an ACM conference on Language design for reliable software, p.114-127, March 28-30, 1977, Raleigh, North Carolina
	7	Krzysztof R. Apt , Nissim Francez , Willem P. de Roever, A Proof System for Communicating Sequential Processes, ACM Transactions on Programming Languages and Systems (TOPLAS), v.2 n.3, p.359-385, July 1980 [doi>10.1145/357103.357110]
	8	ASCHCROFT, E.A. "Proving assertions about parallel programs." J. Comput. Syst. 10 (Jan. 1975), 110- 135.
	9	BALL, E., FELDMAN, J., Low, J,, RASHID, R., AND ROVNER, P. "RIG, Rochester's intelligent gateway: System overview." IEEE Trans. Softw. Eng. SE-2, 4 (Dec. 1976), 321-328.
	10	BALZER, R. M. "PORTS--A method for dynamic interprogram communication and job control." In Proc. AFIPS Spring Jt. Computer Conf. (Atlantic City, N. J., May 18-20, 1971), vol 38. AFIPS Press, Arlington, Va., 1971, pp. 485-489.
	11	BARRINGER, H., AND MEARNS, L "Axioms and proof rules for Ada tasks." IEE Proc. 129, Pt. E, 2 (March 1982), 38-48.
	12	Forest Baskett , John H. Howard , John T. Montague, Task communication in DEMOS, Proceedings of the sixth ACM symposium on Operating systems principles, p.23-31, November 16-18, 1977, West Lafayette, Indiana, United States
	13	M. Ben-Ari, Principles of concurrent and distributed programming, Prentice-Hall, Inc., Upper Saddle River, NJ, 1990
	14	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 [doi>10.1145/357094.357101]
	15	BERNSTEIN, A. J., AND ENSOR, J.R. "A modification of Modula." Softw. Praet. Exper. 11 (1981), 237- 255.
	16	BERNSTEIN, A. J., AND SCHNEIDER, F.B. "On language restrictions to ensure deterministic behavior in concurrent systems," In J. Moneta (Ed.), Proc. 3rd Jerusalem Conf. Information Technology JCIT3. North-Holland Publ., Amsterdam, 1978, pp. 537-541.
	17	Philip A. Bernstein , Nathan Goodman, Concurrency Control in Distributed Database Systems, ACM Computing Surveys (CSUR), v.13 n.2, p.185-221, June 1981 [doi>10.1145/356842.356846]
	18	BEST, E. "Relational semantics of concurrent programs (with some applications)." In Proc. IFIP WG2.2 Conf. North-Holland Publ., Amsterdam, 1982.
	19	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]
	20	Per Brinch Hansen, Structured multiprogramming, Communications of the ACM, v.15 n.7, p.574-578, July 1972 [doi>10.1145/361454.361473]
	21	Per Brinch Hansen, Operating System Principles, Prentice Hall PTR, Upper Saddle River, NJ, 1973
	22	Per Brinch Hansen, Concurrent Programming Concepts, ACM Computing Surveys (CSUR), v.5 n.4, p.223-245, Dec. 1973 [doi>10.1145/356622.356624]
	23	BRINCH HANSEN, P. "The programming language Concurrent Pascal." IEEE Trans Softw. Eng. SE-1, 2 (June 1975), 199-206.
	24	BRINCH HANSEN, P. "The Solo operating system: Job interface." Softw. Pract. Exper. 6 (1976), 151- 164. (a)
	25	BRINCH HANSEN, P. "The Solo operating system: Processes, monitors, and classes." Softw. Pract. Exper. 6 (1976), 165-200. (b)
	26	Per Brinch Hansen, The Architecture of Concurrent Programs, Prentice Hall PTR, Upper Saddle River, NJ, 1977
	27	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]
	28	BRINCH HANSEN, P. "Edison: A multiprocessor language." Softw. Praet. Exper. 11, 4 (Apr. 1981), 325-361.
	29	CAMPBELL, R.H. "Path expressions: A technique for specifying process synchronization." Ph.D. dissertation, Computing Laboratory, University of Newcastle upon Tyne, Aug. 1976.
	30	Roy H. Campbell , A. Nico Habermann, The specification of process synchronization by path expressions, Operating Systems, Proceedings of an International Symposium, p.89-102, April 23-25, 1974
	31	Roy H. Campbell , Robert B. Kolstad, Path expressions in pascal, Proceedings of the 4th international conference on Software engineering, p.212-219, September 17-19, 1979, Munich, Germany
	32	Melvin E. Conway, Design of a separable transition-diagram compiler, Communications of the ACM, v.6 n.7, p.396-408, July 1963 [doi>10.1145/366663.366704]
	33	CONWAY, M.E. "A multiprocessor system design." In Proc. AFIPS Fall Jt. Computer Conf. (Las Vegas, Nev., Nov., 1963), vol. 24. Spartan Books, Baltimore, Maryland, pp. 139-146. (b)
	34	COOK, R. P. "*MOD--A language for distributed programming." IEEE Trans. Softw. Eng. SE-6, 6 (Nov. 1980), 563-571.
	35	P. J. Courtois , F. Heymans , D. L. Parnas, Concurrent control with “readers” and “writers”, Communications of the ACM, v.14 n.10, p.667-668, Oct. 1971 [doi>10.1145/362759.362813]
	36	Patrick Cousot , Radhia Cousot, Semantic Analysis of Communicating Sequential Processes (Shortened Version), Proceedings of the 7th Colloquium on Automata, Languages and Programming, p.119-133, July 14-18, 1980
	37	Jack B. Dennis , Earl C. Van Horn, Programming semantics for multiprogrammed computations, Communications of the ACM, v.9 n.3, p.143-155, March 1966 [doi>10.1145/365230.365252]
	38	Edsger W. Dijkstra, The structure of the “THE”-multiprogramming system, Communications of the ACM, v.11 n.5, p.341-346, May 1968 [doi>10.1145/363095.363143]
	39	DIJKSTRA, E. W. "Cooperating sequential processes." In F. Genuys (Ed.), Programming Languages. Academic Press, New York, 1968. (b)
	40	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]
	41	Edsger Wybe Dijkstra, A Discipline of Programming, Prentice Hall PTR, Upper Saddle River, NJ, 1997
	42	DIJKSTRA, E.W. "An assertional proof of a program by G. L. Peterson." EWD 779 (Feb. 1979), Nuenen, The Netherlands. (a)
	43	DIJKSTRA, E. W. Personal communication, Oct. 1981. (b)
	44	Jerome A. Feldman, High level programming for distributed computing, Communications of the ACM, v.22 n.6, p.353-368, June 1979 [doi>10.1145/359114.359127]
	45	L. Flon , A. N. Habermann, Towards the construction of verifiable software systems, Proceedings of the 1976 conference on Data : Abstraction, definition and structure, p.141-148, March 22-24, 1976, Salt Lake City, Utah, United States
	46	FLOYD, R.W. "Assigning meanings to programs." In Proc. Am. Math. Soc. Symp. Applied Mathematics, vol. 19, pp. 19-31, 1967.
	47	David Gelernter , Arthur J. Bernstein, Distributed communication via global buffer, Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, p.10-18, August 18-20, 1982, Ottawa, Canada [doi>10.1145/800220.806676]
	48	Rob Gerth, A sound and complete Hoare axiomatization of the Ada-rendezvous, Ninth colloquium on Automata, languages, and programming., p.252-264, January 2000, Aarhus, Denmark
	49	Rob Gerth , Willem P. de Roever , Marly Roncken, Procedures and concurrency: A study in proof, Proceedings of the 5th Colloquium on International Symposium on Programming, p.132-163, April 06-08, 1982
	50	Donald I. Good , Richard M. Cohen , James Keeton-Williams, Principles of proving concurrent programs in Gypsy, Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.42-52, January 29-31, 1979, San Antonio, Texas [doi>10.1145/567752.567757]
	51	HABERMANN, A. N. "Path expressions." Dep. of Computer Science, Carnegie-Mellon Univ., Pittsburgh, Pennsylvania, June, 1975.
	52	HABERMANN, A. N., AND NASSI, I.R. "Efficient implementation of Ada tasks." Tech. Rep. CMU- CS-80-103, Carnegie-Mellon Univ., Jan. 1980.
	53	Bruce K. Haddon, Nested monitor calls, ACM SIGOPS Operating Systems Review, v.11 n.4, p.18-23, October 1977 [doi>10.1145/850648.850650]
	54	David R. Hanson , Ralph E. Griswold, The SL5 procedure mechanism, Communications of the ACM, v.21 n.5, p.392-400, May 1978 [doi>10.1145/359488.359502]
	55	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]
	56	HOARE, C. A.R. "Towards a theory of parallel programming." In C. A. R. Hoare and R. H. Perrott (Eds.), Operating Systems Techniques. Academic Press, New York, 1972, pp. 61-71.
	57	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]
	58	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]
	59	Charles Antony Richard Hoare, The emperor's old clothes, Communications of the ACM, v.24 n.2, p.75-83, Feb. 1981 [doi>10.1145/358549.358561]
	60	HOLDEN, J., AND WAND, I. C. "An assessment of Modula." Softw. Pract. Exper. 10 (1980), 593- 621.
	61	HOLT, R. C., GRAHAM, G. S., LAZOWSKA, E. D., AND SCOTT, M.A. Structured Concurrent Programming with Operating Systems Applications. Addison-Wesley, Reading, Mass., 1978.
	62	John H. Howard, Proving monitors, Communications of the ACM, v.19 n.5, p.273-279, May 1976 [doi>10.1145/360051.360079]
	63	John H. Howard, Signaling in monitors, Proceedings of the 2nd international conference on Software engineering, p.47-52, October 13-15, 1976, San Francisco, California, United States
	64	JAZAYERL M., et al. "CSP/80: A language for communicating processes." In Proc. Fall IEEE COMPCON80 (Sept. 1980). IEEE, New York, 1980, pp. 736-740.
	65	Anita K. Jones , Peter Schwarz, Experience Using Multiprocessor Systems—A Status Report, ACM Computing Surveys (CSUR), v.12 n.2, p.121-165, June 1980 [doi>10.1145/356810.356813]
	66	KAUBISCH, W. H., PERROTT, R. H., AND HOARE, C. A. R. "Quasiparallel programming." Softw. Pract. Exper. 6 (1976), 341-356.
	67	J. L. Keedy, On structuring operating systems with monitors, ACM SIGOPS Operating Systems Review, v.13 n.1, p.5-9, January 1979 [doi>10.1145/850652.850654]
	68	Robert M. Keller, Formal verification of parallel programs, Communications of the ACM, v.19 n.7, p.371-384, July 1976 [doi>10.1145/360248.360251]
	69	J. L. W. Kessels, An alternative to event queues for synchronization in monitors, Communications of the ACM, v.20 n.7, p.500-503, July 1977 [doi>10.1145/359636.359710]
	70	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]
	71	Walter H. Kohler, A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems, ACM Computing Surveys (CSUR), v.13 n.2, p.149-183, June 1981 [doi>10.1145/356842.356845]
	72	LAMPORT, L. "Proving the correctness of nmltiprocess programs." IEEE Trans. Softw. Eng. SE-3, 2 (March 1977), 125-143.
	73	LAMPORT, L. "The 'Hoare logic' of concurrent programs." Acta Inform. 14, 21-37. (a)
	74	LAMPOHT, L. "The mutual exclusion problem." Op. 56, SRI International, Menlo ParK, Calif., Oct. 1980. (b)
	75	LAMPORT, L., AND SCHNEIDER, F. B. "The 'Hoare logic' of CSP, and all that." Tech. Rep. TR 82- 490, Dep. Computer Sci., Cornell Univ., May, 1982.
	76	Butler W. Lampson, Atomic Transactions, Distributed Systems - Architecture and Implementation, An Advanced Course, p.246-265, January 1981
	77	Butler W. Lampson , David D. Redell, Experience with processes and monitors in Mesa, Communications of the ACM, v.23 n.2, p.105-117, Feb. 1980 [doi>10.1145/358818.358824]
	78	LAMPSON, B. W., AND STURGIS, H.E. "Crash recovery in a distributed data storage system." Xerox Palo Alto Research Center, Apr. 1979.
	79	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]
	80	LAUER, P. E., AND CAMPBELL, R.H. "Formal semantics of a class of high level primitives for coordinating concurrent processes." Acta Inform. 5 (1975), 297-332.
	81	P. E. Lauer , M. W. Shields, Abstract specification of resource accessing disciplines: adequacy, starvation, priority and interrupts, ACM SIGPLAN Notices, v.13 n.12, p.41-59, December 1978 [doi>10.1145/954587.954591]
	82	Daniel J. Lehmann , Amir Pnueli , Jonathan Stavi, Impartiality, Justice and Fairness: The Ethics of Concurrent Termination, Proceedings of the 8th Colloquium on Automata, Languages and Programming, p.264-277, July 13-17, 1981
	83	LEVIN, G. M., AND GRIES, D. "A proof technique for communicating sequential processes." Acta Inform. 15 (1981), 281-302.
	84	LISKOV, B.L. "On linguistic support for distributed programs." In Proc. IEEE Symp. Reliability in Distributed Software and Database Systems (Pittsburgh, July 21-22, 1981). IEEE, New York, 1981, pp. 53-60.
	85	Barbara Liskov , Robert Scheifler, Guardians and actions: linguistic support for robust, distributed programs, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.7-19, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582155]
	86	Andrew Lister, The problem of nested monitor calls, ACM SIGOPS Operating Systems Review, v.11 n.3, p.5-7, July 1977 [doi>10.1145/850644.850645]
	87	Klaus-Peter Löhr, Beyond concurrent Pascal, Proceedings of the sixth ACM symposium on Operating systems principles, p.173-180, November 16-18, 1977, West Lafayette, Indiana, United States
	88	D. B. Lomet, Process structuring, synchronization, and recovery using atomic actions, Proceedings of an ACM conference on Language design for reliable software, p.128-137, March 28-30, 1977, Raleigh, North Carolina
	89	LYNCH, N.A. "Multilevel atomicity--A new correctness criterion for distributed databases." Tech. Rep. GIT-ICS-81/05, School of Information and Computer Sciences, Georgia Tech., May 1981.
	90	MAO, T. W., AND YEH, R.T. "Communication port: A language concept for concurrent programming." IEEE Trans. Softw. Eng. SE-6, 2 (March 1980), 194-204.
	91	MISRA, J., AND CHANDY, K. "Proofs of networks of processes." IEEE Trans. Softw. Eng. SE-7, 4 (July 1981), 417-426.
	92	J. Misra , K. M. Chandy , Todd Smith, Proving safety and liveness of communicating processes with examples, Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, p.201-208, August 18-20, 1982, Ottawa, Canada [doi>10.1145/800220.806698]
	93	MITCHELL, J. G., MAYBURY, W., AND SWEET, R. "Mesa language manual, version 5.0." Rep. CSL-79-3, Xerox Paid Alto Research Center, Apr. 1979.
	94	Bruce Jay Nelson, Remote procedure call, 1981
	95	Kristen Nygaard , Ole-Johan Dahl, The development of the SIMULA languages, The first ACM SIGPLAN conference on History of programming languages, p.245-272, June 01-03, 1978, Los Angeles, CA [doi>10.1145/960118.808391]
	96	OWICKI, S, S., AND GRIES, D. "An axiomatic proof technique for parallel programs." Acta Inform. 6 (1976), 319-340. (a)
	97	Susan Owicki , David Gries, Verifying properties of parallel programs: an axiomatic approach, Communications of the ACM, v.19 n.5, p.279-285, May 1976 [doi>10.1145/360051.360224]
	98	D. L. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, v.15 n.12, p.1053-1058, Dec. 1972 [doi>10.1145/361598.361623]
	99	David L. Parnas, The non-problem of nested monitor calls, ACM SIGOPS Operating Systems Review, v.12 n.1, p.12-18, January 1978 [doi>10.1145/775323.775324]
	100	PETERSON, G.L. "Myths about the mutual exclusion problem." Inform. Process. Lett. 12, 3 (June 1981), 115-116.
	101	David P. Reed, Implementing atomic actions on decentralized data, ACM Transactions on Computer Systems (TOCS), v.1 n.1, p.3-23, Feb. 1983 [doi>10.1145/357353.357355]
	102	Loretta Guarino Reid, Control and communication in programmed systems, 1980
	103	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 [doi>10.1145/582153.582159]
	104	Dennis M. Ritchie , Ken Thompson, The UNIX time-sharing system, Communications of the ACM, v.17 n.7, p.365-375, July 1974 [doi>10.1145/361011.361061]
	105	ROPER, T. J., AND BARTER, C.J. "A communicating sequential process language and implementation." Softw. Pract. Exper. 11 (1981), 1215-1234.
	106	Richard D. Schlichting , Fred B. Schneider, An Approach to Designing Fault-Tolerant Computing Systems, Cornell University, Ithaca, NY, 1981
	107	SCHLICHTING, R. D., AND SCHNEIDER, F.B. "Using message passing for distributed programming: Proof rules and disciplines." Tech. Rep. TR 82- 491, Dep. of Computer Science, Cornell Univ., May 1982. (a)
	108	Richard D. Schlichting , Fred B. Schneider, Understanding and using asynchronous message passing (Preliminary Version), Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, p.141-147, August 18-20, 1982, Ottawa, Canada [doi>10.1145/800220.806691]
	109	Fred B. Schneider, Synchronization in Distributed Programs, ACM Transactions on Programming Languages and Systems (TOPLAS), v.4 n.2, p.125-148, April 1982 [doi>10.1145/357162.357163]
	110	F. B. Schneider , A. J. Bernstein, Scheduling in Concurrent Pascal, ACM SIGOPS Operating Systems Review, v.12 n.2, p.15-20, April 1978 [doi>10.1145/775332.775335]
	111	SCHWARTZ, J. S. "Distributed synchronization of communicating sequential processes." Tech. Rep., Dep. of Artificial Intelligence, Univ. of Edinburgh, July 1978.
	112	Alan C. Shaw, The Logical Design of Operating Systems, Prentice Hall PTR, Upper Saddle River, NJ, 1974
	113	SHAW, A.C. "Software specification languages based on regular expressions." In W. E. Riddle and R. E. Fairley (Eds.), Software Development Tools. Springer-Verlag, New York, 1980, pp. 148-175.
	114	M. W. Shields, Adequate Path Expressions, Proceedings of the International Sympoisum on Semantics of Concurrent Computation, p.249-265, July 02-04, 1979
	115	SILBERSCHATZ, A. "On the input/output mechanism in Concurrent Pascal." In Proc. COMPSAC '77-- IEEE Computer Society Computer Software and Applications Conference (Chicago, Ill., Nov. 1977). IEEE, New York, 1977, pp. 514-518.
	116	SILBERSCHATZ, A. "Communication and synchronization in distributed programs." IEEE Trans. Softw. Eng. SE-5, 6 (Nov. 1979), 542-546.
	117	SILBERSCHATZ, A., KIEBURTZ, R. B., AND BERNSTEIN, A.J. "Extending Concurrent Pascal to allow dynamic resource management." IEEE Trans. Softw. Eng. SE-3, 3 (May 1977), 210-217.
	118	Marvin H. Solomon , Raphael A. Finkel, The Roscoe distributed operating system, Proceedings of the seventh ACM symposium on Operating systems principles, p.108-114, December 10-12, 1979, Pacific Grove, California, United States [doi>10.1145/800215.806577]
	119	SOUNDARARAJAN, N. "Axiomatic semantics of communicating sequential processes." Tech. Rep., Dep. of Computer and Information Science, Ohio State Univ., 1981.
	120	Alfred Z. Spector, Performing remote operations efficiently on a local computer network, Communications of the ACM, v.25 n.4, p.246-260, April 1982 [doi>10.1145/358468.358478]
	121	U.S. DEPARTMENT OF DEFENSE. Programming Language Ada: Reference Manual, vol. 106, Lecture Notes in Computer Science. Springer-Verlag, New York, 1981.
	122	VAN DE SNEPSCHEUT, J. L.A. "Synchronous communication between synchronization components." Inform. Process. Lett. 13, 3 (Dec. 1981), 127-130.
	123	VAN WIJNGAARDEN, A., MAILLOUX, B. J., PECK, J. L., KOSTER, C. H. A., SINTZOFF, M., LINDSEY, C. H., MEERTENS, L. G. L. T., AND FISKER, R. G. "Revised report on the algorithm language ALGOL68."Acta Inform. 5, 1-3 (1975), 1-236.
	124	WEGNER, P., AND SMOLKA, S.A. "Processes, tasks and monitors: A comparative study of concurrent programming primitives." IEEE Trans. Softw. Eng., to appear, 1983.
	125	WELSH, J., AND BUSTARD, D.W. "Pascal-Plus--Another language for modular multiprogramming." Softw. Pract. Exper. 9 (1979), 947-957.
	126	WELSH, J., AND LISTER, A. "A comparative study of task communication in Ada." Softw. Pract. Exper. 11 (1981), 257-290.
	127	Horst Wettstein, The problem of nested monitor calls revisited, ACM SIGOPS Operating Systems Review, v.12 n.1, p.19-23, January 1978 [doi>10.1145/775323.775325]
	128	WIRTH, N. "Modula: A language for modular multiprogramming." Softw. Pract. Exper. 7 (1977), 3- 35. (a)
	129	WIRTH, N. "The use of ModulE." Softw. Pract. Exper. 7 (1977), 37-65. (b)
	130	WIRTH, 1NT. "Design and implementation of Modula." Softw. Pract Exper, 7 (1977), 67-84. (c)
	131	Niklaus Wirth, Toward a discipline of real-time programming, Communications of the ACM, v.20 n.8, p.577-583, Aug. 1977 [doi>10.1145/359763.359798]
	132	Niklaus Wirth, Programming in MODULA-2 (3rd corrected ed.), Springer-Verlag New York, Inc., New York, NY, 1985
	133	W. A. Wulf , D. B. Russell , A. N. Habermann, BLISS: a language for systems programming, Communications of the ACM, v.14 n.12, p.780-790, Dec. 1971 [doi>10.1145/362919.362936]

CITED BY 92

	Maurice Herlihy, A methodology for implementing highly concurrent data objects, ACM Transactions on Programming Languages and Systems (TOPLAS), v.15 n.5, p.745-770, Nov. 1993
	O. P. Kiddle , A. J. Wellings, Extensible protected types, ACM SIGAda Ada Letters, v.XVIII n.6, p.229-239, Nov./Dec. 1998
	Arjan J. C. van Gemund, The importance of synchronization structure in parallel program optimization, Proceedings of the 11th international conference on Supercomputing, p.164-171, July 07-11, 1997, Vienna, Austria
	Jean-Marc Daveau , Gilberto Fernandes Marchioro , Carlos Alberto Valderrama , Ahmed Amine Jerraya, VHDL generation from SDL specifications, Readings in hardware/software co-design, Kluwer Academic Publishers, Norwell, MA, 2001
	Arjan J. C. van Gemund, Compiling performance models from parallel programs, Proceedings of the 8th international conference on Supercomputing, p.303-312, July 11-15, 1994, Manchester, England
	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
	François Baccelli , Zhen Liu, On the execution of parallel programs on multiprocessor systems—a queuing theory approach, Journal of the ACM (JACM), v.37 n.2, p.373-414, April 1990
	Kevin Jeffay, The real-time producer/consumer paradigm: a paradigm for the construction of efficient, predictable real-time systems, Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice, p.796-804, February 14-16, 1993, Indianapolis, Indiana, United States
	Per Brinch Hansen, The invention of concurrent programming, The origin of concurrent programming: from semaphores to remote procedure calls, Springer-Verlag New York, Inc., New York, NY, 2002
	Frederick C. Hathorn, Structured tasks, Proceedings of the sixth Washington Ada symposium on Ada, p.63-74, July 1989, McLean, Virginia, United States
	Yvon Kermarrec , Laurent Pautet, Ada communication components for distributed and real time applications, Proceedings of the conference on TRI-Ada '92, p.530-537, November 16-20, 1992, Orlando, Florida, United States
	Devendra Kumar , Saad Harous, An approach towards distributed simulation of timed petri nets, Proceedings of the 22nd conference on Winter simulation, p.428-435, December 09-12, 1990, New Orleans, Louisiana, United States
	M. Herlihy, A methodology for implementing highly concurrent data structures, ACM SIGPLAN Notices, v.25 n.3, p.197-206, Mar. 1990
	R. K. Gupta , C. N. Coelho, Jr. , G. De Micheli, Synthesis and simulation of digital systems containing interacting hardware and software components, Proceedings of the 29th ACM/IEEE conference on Design automation, p.225-230, June 08-12, 1992, Anaheim, California, United States
	Yvon Kermarrec , Laurent Pautet, A distributed shared virtual memory for Ada 83 and Ada 9X applications, Proceedings of the conference on TRI-Ada '93, p.242-251, September 18-23, 1993, Seattle, Washington, United States
	Per Brinch Hansen, Monitors and concurrent Pascal: a personal history, ACM SIGPLAN Notices, v.28 n.3, p.1-35, March 1993
	Rajesh K. Gupta , Claudionor Nunes Coelho, Jr. , Giovanni De Micheli, Synthesis and simulation of digital systems containing interacting hardware and software components, Readings in hardware/software co-design, Kluwer Academic Publishers, Norwell, MA, 2001
	Gregory R. Andrews, Paradigms for process interaction in distributed programs, ACM Computing Surveys (CSUR), v.23 n.1, p.49-90, March 1991
	Verlynda Dobbs, A comparison of concurrent languages: a class project, ACM SIGCSE Bulletin, v.19 n.1, p.62-66, Feb. 1987
	Peter A. Buhr , Ashif S. Harji , Philipp E. Lim , Jiongxiong Chen, Object-oriented real-time concurrency, ACM SIGPLAN Notices, v.35 n.10, p.29-46, Oct. 2000
	Rajiv Trehan , Nobuyuki Sawashima , Koji Yamaguchi , Koichi Hasebe, Toolkit for shared hypermedia on a distributed object oriented architecture, Proceedings of the first ACM international conference on Multimedia, p.175-182, August 02-06, 1993, Anaheim, California, United States
	Peter A. Buhr , Michel Fortier , Michael H. Coffin, Monitor classification, ACM Computing Surveys (CSUR), v.27 n.1, p.63-107, March 1995
	R. J. R. Back , F. Kurki-Suonio, Distributed cooperation with action systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.4, p.513-554, Oct. 1988
	J. H. Reppy, Synchronous operations as first-class values, ACM SIGPLAN Notices, v.23 n.7, p.250-259, July 1988
	Allen D. Malony , Daniel A. Reed, Models for performance perturbation analysis, ACM SIGPLAN Notices, v.26 n.12, p.15-25, Dec. 1991
	C. Scheurich , M. Dubois, Correct memory operation of cache-based multiprocessors, Proceedings of the 14th annual international symposium on Computer architecture, p.234-243, June 02-05, 1987, Pittsburgh, Pennsylvania, United States
	O. M. Nierstrasz, Active objects in hybrid, ACM SIGPLAN Notices, v.22 n.12, p.243-253, Dec. 1987
	Brain A. Rudolph, Self-assessment procedure XXI: a self-assessment procedure on concurrency, Communications of the ACM, v.33 n.5, p.563-576, May 1990
	Robert Cypher , Smaragda Konstantinidou, Bounds on the efficiency of message-passing protocols for parallel computers, Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures, p.173-181, June 30-July 02, 1993, Velen, Germany
	Barrett R. Bryant , Daniel T. Chang , Prakash K. Muthukrishnan , Viswanathan Vaidyanathan, Automatic parallelization of object-oriented programming languages using tuple space, Proceedings of the 1995 ACM 23rd annual conference on Computer science, p.89-96, February 28-March 02, 1995, Nashville, Tennessee, United States
	Nicholas Carriero , David Gelernter, The S/Net's Linda kernel, ACM Transactions on Computer Systems (TOCS), v.4 n.2, p.110-129, May 1986
	Henri E. Bal , M. Frans Kaashoek , Andrew S. Tanenbaum, Orca: A Language for Parallel Programming of Distributed Systems, IEEE Transactions on Software Engineering, v.18 n.3, p.190-205, March 1992
	Michel Dubois , Christoph Scheurich , Faye Briggs, Memory access buffering in multiprocessors, 25 years of the international symposia on Computer architecture (selected papers), p.320-328, June 27-July 02, 1998, Barcelona, Spain
	M. Dubois , C. Scheurich , F. Briggs, Memory access buffering in multiprocessors, ACM SIGARCH Computer Architecture News, v.14 n.2, p.434-442, June 1986
	Yves Dallery , Zhen Liu , Don Towsley, Equivalence, reversibility, symmetry and concavity properties in fork-join queuing networks with blocking, Journal of the ACM (JACM), v.41 n.5, p.903-942, Sept. 1994
	John H. Reppy, CML: A higher concurrent language, ACM SIGPLAN Notices, v.26 n.6, p.293-305, June 1991
	Craig E. Wills, Process synchronization and IPC, ACM Computing Surveys (CSUR), v.28 n.1, p.209-211, March 1996
	Satoshi Matsuoka , Satoru Kawai, Using tuple space communication in distributed object-oriented languages, ACM SIGPLAN Notices, v.23 n.11, p.276-284, Nov. 1988
	Piyush Mehrotra , John Van Rosendale , Hans P. Zima, Language Support for Multidisciplinary Applications, IEEE Computational Science & Engineering, v.5 n.2, p.64-75, April 1998
	Mikael R. K. Patel, A design representation for high level synthesis, Proceedings of the conference on European design automation, March 12-15, 1990, Glasgow, Scotland
	Chia-Chu Chiang, Low-level language constructs considered harmful for distributed parallel programming, Proceedings of the 42nd annual Southeast regional conference, April 02-03, 2004, Huntsville, Alabama
	Murray S. Mazer, A knowledge theoretic account of recovery in distributed systems: the case of negotiated commitment, Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge, March 07-09, 1988, Pacific Grove, California
	Eshrat Arjomandi , William O'Farrell, Concurrency issues in C⁺⁺, Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research, November 09-12, 1992, Toronto, Ontario, Canada
	J. Wu , E. B. Fernandez, Using Petri Nets for the Design of Conversation Boundaries in Fault-Tolerant Software, IEEE Transactions on Parallel and Distributed Systems, v.5 n.10, p.1106-1112, October 1994
	N. H. Gehani, Capsules: A Shared Memory Access Mechanism for Concurrent C/C++, IEEE Transactions on Parallel and Distributed Systems, v.4 n.7, p.795-811, July 1993
	Steven Lucco , Oliver Sharp, Delirium: an embedding coordination language, Proceedings of the 1990 conference on Supercomputing, p.515-524, October 1990, New York, New York, United States
	Stephen J. Goldsack , Colin Atkinson, DRAGOON: a tool for the Ada programmer, Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations, p.348-359, October 21-25, 1991, San Jose, California, United States
	Peter J. Ashenden , Philip A. Wilsey, Protected Shared Variables in VHDL: IEEE Standard 1076a, IEEE Design & Test, v.16 n.4, p.74-83, October 1999
	Tony P. Ng, Using histories to implement atomic objects, ACM Transactions on Computer Systems (TOCS), v.7 n.4, p.360-393, Nov. 1989
	Chyuan Samuel Hsieh , Elizabeth A. Unger, Manifolds: a very high-level conceptual framework of interprocess synchronization and communication, Proceedings of the 15th annual conference on Computer Science, p.196-204, February 1987, St. Louis, Missouri, United States
	Hideharu Amano , Taisuke Boku , Tomohiro Kudoh, (SM)/sup 2/-II: A Large-Scale Multiprocessor for Sparse Matrix Calculations, IEEE Transactions on Computers, v.39 n.7, p.889-905, July 1990
	Waleed A. Muhanna, Composite Programs: Hierarchical Construction, Circularity, and Deadlocks, IEEE Transactions on Software Engineering, v.17 n.4, p.320-333, April 1991
	Carole M. McNamee , Ronald A. Olsson, Comments on 'Critical Races in Ada Programs', IEEE Transactions on Software Engineering, v.16 n.12, p.1439, December 1990
	Paul G. Whiting , Robert S. V. Pascoe, A History of Data-Flow Languages, IEEE Annals of the History of Computing, v.16 n.4, p.38-59, December 1994
	Patrick M. Lenders, A Generalized Message-Passing Mechanism for Communicating Sequential Processes, IEEE Transactions on Computers, v.37 n.6, p.646-651, June 1988
	Anne Dinning, A Survey of Synchronization Methods for Parallel Computers, Computer, v.22 n.7, p.66-77, July 1989
	B. Lazzerini , L. Lopriore, Abstraction Mechanisms for Event Control in Program Debugging, IEEE Transactions on Software Engineering, v.15 n.7, p.890-901, July 1989
	Richard A. Volz , Trevor N. Mudge , Padmanabhan Krishnan , Gregory D. Buzzard, Translation and Execution of Distributed Ada Programs: Is It Still Ada?, IEEE Transactions on Software Engineering, v.15 n.3, p.281-292, March 1989
	Michel Dubois , Christoph Scheurich, Memory Access Dependencies in Shared-Memory Multiprocessors, IEEE Transactions on Software Engineering, v.16 n.6, p.660-673, June 1990
	Daniel D. Gajski , Frank Vahid, Specification and Design of Embedded Hardware-Software Systems, IEEE Design & Test, v.12 n.1, p.53-67, March 1995
	Agostino Poggi , Giuliano Armano, A Distributed Object-Oriented Language for Heterogeneous Computer Networks, The Journal of Supercomputing, v.14 n.2, p.153-169, Sept. 1999
	J. A. Rolia , K. C. Sevcik, The Method of Layers, IEEE Transactions on Software Engineering, v.21 n.8, p.689-700, August 1995
	Marta Kallstrom , Shreekant S. Thakkar, Programming Three Parallel Computers, IEEE Software, v.5 n.1, p.11-22, January 1988
	Per Brinch Hansen, Monitors and Concurrent Pascal: a personal history, History of programming languages---II, ACM Press, New York, NY, 1996
	Alfred A. Rizzi , Louis L. Whitcomb , Daniel E. Koditschek, Distributed Real-Time Control of a Spatial Robot Juggler, Computer, v.25 n.5, p.12-24, May 1992
	Michel, Dubois , Christoph Scheurich , Fayé A. Briggs, Synchronization, Coherence, and Event Ordering in Multiprocessors, Computer, v.21 n.2, p.9-21, February 1988
	Shivakant Mishra , Peng Xie, Interagent Communication and Synchronization Support in the DaAgent Mobile Agent-Based Computing System, IEEE Transactions on Parallel and Distributed Systems, v.14 n.3, p.290-306, March 2003
	R. K. Shyamsundar , J. W. Thatcher, Language Constructs for Specifying Concurrency in CDL, IEEE Transactions on Software Engineering, v.15 n.8, p.977-993, August 1989
	C. Scheurich , M. Dubois, Dynamic Page Migration in Multiprocessors with Distributed Global Memory, IEEE Transactions on Computers, v.38 n.8, p.1154-1163, August 1989
	M. Dubois, Throughput Analysis of Cache-Based Multiprocessors with Multiple Buses, IEEE Transactions on Computers, v.37 n.1, p.58-70, January 1988
	Patrick M. Lenders, Distributed Computing with Single Read-Single Write Variables, IEEE Transactions on Software Engineering, v.15 n.5, p.569-574, May 1989
	Raju Pandey , James C. Browne, Support for Implementation of Evolutionary Concurrent Systems, International Journal of Parallel Programming, v.29 n.4, p.401-431, August 2001
	Olivier Tardieu , Stephen A. Edwards, Scheduling-independent threads and exceptions in SHIM, Proceedings of the 6th ACM & IEEE International conference on Embedded software, October 22-25, 2006, Seoul, Korea
	Todd J. Foster , Dennis L. Lastor , Padmaraj Singh, First silicon functional validation and debug of multicore microprocessors, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, v.15 n.5, p.495-504, May 2007
	Barbara Chapman , Matthew Haines , Piyush Mehrota , Hans Zima , John Van Rosendale, Opus: A Coordination Language for Multidisciplinary Applications, Scientific Programming, v.6 n.4, p.345-362, October 2000
	Zhiyuan Li , Walid Abu-Sufah, A technique for reducing synchronization overhead in large scale multiprocessors, ACM SIGARCH Computer Architecture News, v.13 n.3, p.284-291, June 1985
	Jiajun Chen , Xiaodong Yuan , Guolian Zhengp, A multi-threaded object-oriented programming model, ACM SIGSOFT Software Engineering Notes, v.23 n.3, p.83-86, May 1998
	Jianwen Su, Dynamic Constraints and Object Migration, Proceedings of the 17th International Conference on Very Large Data Bases, p.233-242, September 03-06, 1991
	Michele Di Santo , Wilma Russo, The ensemble system: concurrent programming on a personal computer, ACM SIGPLAN Notices, v.26 n.2, p.99-108, Feb. 1991
	Cui-Qing Yang, Distributed computing in a NUMP (Non-Uniform Message-Passing) environment, ACM SIGOPS Operating Systems Review, v.26 n.2, p.82-91, April 1992
	Rajiv Trehan , Nobuyuki Sawashima , Akira Morishita , Ichiro Tomoda , Toru Imai , Ken-Ichi Maeda, Concurrent Object Oriented 'C' (cooC), ACM SIGPLAN Notices, v.28 n.2, p.45-52, Feb. 1993
	K A Lantz , P P Tanner , C Binding , Kuan-Tsae Huang , A Dwelly, Reference models, window systems, and concurrency, ACM SIGGRAPH Computer Graphics, v.21 n.2, p.87-97, April 1987
	B. Lees, Introductory concurrent programming with Modula-2, ACM SIGCSE Bulletin, v.17 n.3, p.34-41, Sept. 1985
	N. B. Serbedzija, Asynchronous communication on Occam, ACM SIGPLAN Notices, v.23 n.12, p.51-62, Dec. 1988
	Dieter Hogrefe, OSI service specification with CCITT-SDL, ACM SIGCOMM Computer Communication Review, v.18 n.1-2, p.63-90, Jan/April, 1988
	Carlos Baquero , Francisco Moura, Concurrency annotations in C++, ACM SIGPLAN Notices, v.29 n.7, p.61-67, July 1994
	C. Jung , E. Sibert, Communication types, ACM SIGPLAN Notices, v.25 n.9, p.25-30, Sep. 1990
	H. von Issendorff, A theory of organization, ACM SIGPLAN Notices, v.25 n.9, p.31-38, Sep. 1990
	D. D. Jung , E. Sibert, Indirect naming in distributed programming languages, ACM SIGPLAN Notices, v.24 n.9, p.126-132, Sept. 1989
	R. Morales-Fernandez , J. J. Moreno-Navarro, CC-modula: a modula-2 tool to teach concurrent programming, ACM SIGCSE Bulletin, v.21 n.3, p.19-25, Sep. 1989
	Derek A. Park, Concurrent programming in a nutshell, Journal of Computing Sciences in Colleges, v.23 n.4, April 2008
	Erik Sandewall, The pipelining transformation on plans for manufacturing cells with robots, Proceedings of the 10th international joint conference on Artificial intelligence, p.1055-1062, August 23-28, 1987, Milan, Italy