Synchronizing Resources

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Synchronizing Resources

Full text

Pdf (1.63 MB)

Source

ACM Transactions on Programming Languages and Systems (TOPLAS) archive
Volume 3 , Issue 4 (October 1981) table of contents

Pages: 405 - 430

Year of Publication: 1981

ISSN:0164-0925

Author

Gregory R. Andrews

Department of Computer Science, The University of Arizona, Tucson, AZ

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 2, Downloads (12 Months): 34, Citation Count: 33

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/357146.357149 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	Gregory R. Andrews, Synchronizing Resources, Cornell University, Ithaca, NY, 1978
	2	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]
	3	Russell Atkinson , Carl Hewitt, Synchronization in actor systems, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.267-280, January 17-19, 1977, Los Angeles, California [doi>10.1145/512950.512975]
	4	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]
	5	BI~INCH I-IANSEN, P. The programming language Concurrent Pascal. IEEE Trans. Softw. Eng. SE-1, 2 (June 1975), 199-207.
	6	Per Brinch Hansen, Operating System Principles, Prentice Hall PTR, Upper Saddle River, NJ, 1973
	7	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
	8	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]
	9	DIJKSTRA, E.W. Cooperating sequential process. In Programming Languages, F. Genuys (Ed.). Academic Press, New York, 1968, pp. 43-112.
	10	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]
	11	Edsger W. Dijkstra , Leslie Lamport , A. J. Martin , C. S. Scholten , E. F. M. Steffens, On-the-fly garbage collection: an exercise in cooperation, Communications of the ACM, v.21 n.11, p.966-975, Nov. 1978 [doi>10.1145/359642.359655]
	12	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]
	13	FELDMAN, J.A. A programming methodology for distributed computing (among other things). Tech. Rep. TR9, Computer Science Dep., Univ. Rochester, Rochester, N.Y., Jan. 1977.
	14	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]
	15	David Gries, An exercise in proving parallel programs correct, Communications of the ACM, v.20 n.12, p.921-930, Dec. 1977 [doi>10.1145/359897.359903]
	16	HABERMANN, A.N. Path expressions. Tech. Rep., Carnegie-Mellon Univ., Pittsburgh, Pa., June 1975.
	17	A. Nico Habermann, Synchronization of communicating processes, Communications of the ACM, v.15 n.3, p.171-176, March 1972 [doi>10.1145/361268.361277]
	18	D. S. Hirschberg, Fast parallel sorting algorithms, Communications of the ACM, v.21 n.8, p.657-661, Aug. 1978 [doi>10.1145/359576.359582]
	19	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]
	20	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]
	21	HOARE, C.A.R. Towards a theory of parallel programming. In Operating Systems Techniques, C.A.R. Hoare and R.H. Perrott (Eds.). Academic Press, New York, 1972, pp. 61-71.
	22	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
	23	JAMMEL, A.J., AND STIEGLER, H.G. Managers versus monitors. In Information Processing 77, B. Gilchrist (Ed.). Elsevier North-Holland, New York, 1977, pp. 827-830.
	24	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]
	25	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]
	26	Gary Marc Levin, Proof rules for communicating sequential processes, 1980
	27	Barbara Liskov, Primitives for distributed computing, Proceedings of the seventh ACM symposium on Operating systems principles, p.33-42, December 10-12, 1979, Pacific Grove, California, United States [doi>10.1145/800215.806567]
	28	MITCHELL, J.G., MAYBURY, W., AND SWEET, R. Mesa language manual, version 5.0. Rep. CSL- 79-3, Xerox PARC, Palo Alto, Calif., April 1979.
	29	OWlCKI, S., AND GRXES, D. An axiomatic proof technique for parallel programs. Acta Inf. 6, 4 (1976), 319-340.
	30	OWlCKI, S., AND LAMPORT, L. Proving liveness properties of concurrent programs. Tech. Rep., Computer Systems Lab., Stanford Univ., Stanford, Calif., Oct. 1980.
	31	PNEULI, A. The temporal logic of programs. In Proc. 18th Syrup. Foundations of Computer Science, Providence, R.I., Nov. 1977.
	32	J. D. Ichbiah, Preliminary Ada reference manual, ACM SIGPLAN Notices, v.14 n.6a, p.1-145, June 1979 [doi>10.1145/956650.956651]
	33	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]
	34	Fred B. Schneider , A. J. Bernstein, Mechanisms for Specifying Scheduling Policies, Cornell University, Ithaca, NY, 1979
	35	Toby J. Teorey , Tad B. Pinkerton, A comparative analysis of disk scheduling policies, Communications of the ACM, v.15 n.3, p.177-184, March 1972 [doi>10.1145/361268.361278]
	36	WmT~, N. Modula: A programming language for modular multiprogramming. Softw. Pract. Exper. 7, i (Jan. 1977), 3-35.
	37	WroTH, N. The programming language Pascal. Acta Inf. 1, 1 (1971), 35-63.

CITED BY 33

	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
	Rob Strom, A comparison of the object-oriented and process paradigms, ACM SIGPLAN Notices, v.21 n.10, p.88-97, Oct. 1986
	Gregory R. Andrews, Distributed programming languages, Proceedings of the ACM '82 conference, p.113-117, January 1982
	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
	Arthur Charlesworth, The multiway rendezvous, ACM Transactions on Programming Languages and Systems (TOPLAS), v.9 n.3, p.350-366, July 1987
	Gregory R. Andrews, Parallel programs: proofs, principles, and practice, Communications of the ACM, v.24 n.3, p.140-145, March 1981
	Thomas J. LeBlanc , Robert P. Cook, An analysis of language models for high-performance communication in local-area networks, Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, p.65-72, June 27-29, 1983, San Francisco, California, United States
	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
	C.-C. Chang, REXDC—a remote execution mechanism, ACM SIGCOMM Computer Communication Review, v.19 n.4, p.106-115, Sep. 1989
	B. Liskov , L. Shrira, Promises: linguistic support for efficient asynchronous procedure calls in distributed systems, ACM SIGPLAN Notices, v.23 n.7, p.260-267, July 1988
	Gregory R. Andrews , Fred B. Schneider, Surveyors' forum: Notations for concurrent programming, ACM Computing Surveys (CSUR), v.15 n.4, p.376-377, December 1983
	Gregory R. Andrews , Michael Coffin , Irving Elshoff , Kelvin Nilson , Gregg Townsend , Ronald A. Olsson , Titus Purdin, An overview of the SR language and implementation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.10 n.1, p.51-86, Jan. 1988
	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 , David P. Dobkin, Active data structures, Proceedings of the 5th international conference on Software engineering, p.354-362, March 09-12, 1981, San Diego, California, United States
	David Gelernter, Generative communication in Linda, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.1, p.80-112, Jan. 1985
	Paul David Stotts, A comparative survey of concurrent programming languages, ACM SIGPLAN Notices, v.17 n.10, p.50-61, October 1982
	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
	David W. Wall, Messages as active agents, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.34-39, January 25-27, 1982, Albuquerque, Mexico
	Gregory Andrews , Fred B. Schneider, Corrigenda: “Concepts and notations for concurrent programs”, ACM Computing Surveys (CSUR), v.15 n.4, p.377, December 1983
	Paul David Stotts, A comparative survey of concurrent programming languages, ACM SIGPLAN Notices, v.17 n.9, p.76-87, September 1982
	M. Stella Atkins, Experiments in SR with different upcall program structures, ACM Transactions on Computer Systems (TOCS), v.6 n.4, p.365-392, Nov. 1988
	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
	N. H. Gehani , William D. Roome, Rendezvous Facilities: Concurrent C and the Ada Language, IEEE Transactions on Software Engineering, v.14 n.11, p.1546-1553, November 1988
	R. L. Bagrodia , Wen-Toh Liao, Maisie: A Language for the Design of Efficient Discrete-Event Simulations, IEEE Transactions on Software Engineering, v.20 n.4, p.225-238, April 1994
	Barbara Liskov , Maurice Herlihy , Lucy Gilbert, Limitations of synchronous communication with static process structure in languages for distributed computing, Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.150-159, January 01, 1986, St. Petersburg Beach, Florida
	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
	Scotte Zinn , Michael Coffin, Efficient event generation for detecting races, Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: software engineering, October 24-28, 1993, Toronto, Ontario, Canada
	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
	Per Brinch Hansen, Efficient parallel recursion, The origin of concurrent programming: from semaphores to remote procedure calls, Springer-Verlag New York, Inc., New York, NY, 2002
	Joshua S. Auerbach , Arthur P. Goldberg , Germán S. Goldszmidt , Ajei S. Gopal , Mark T. Kennedy , Josyula R. Rao , James R. Russell, Concert/C: a language for distributed programming, Proceedings of the USENIX Winter 1994 Technical Conference on USENIX Winter 1994 Technical Conference, p.8-8, January 17-21, 1994, San Francisco, California
	Per Brinch Hansen, Efficient parallel recursion, ACM SIGPLAN Notices, v.30 n.12, p.9-16, Dec. 1995
	A. Bums , A. J. Wellings, Usability of the Ada tasking-model, ACM SIGAda Ada Letters, v.X n.4, p.49-56, Spring 1990
	Robert E. Filman , Daniel P. Friedman, Models, languages, and heuristics for distributed computing, Proceedings of the June 7-10, 1982, national computer conference, June 07-10, 1982, Houston, Texas