Solution of a problem in concurrent programming control

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

Solution of a problem in concurrent programming control

Full text

Pdf (118 KB)

Source

Communications of the ACM archive
Volume 8 , Issue 9 (September 1965) table of contents

Page: 569

Year of Publication: 1965

ISSN:0001-0782

Author

E. W. Dijkstra

Technological Univ., Eindhoven, The Netherlands

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 20, Downloads (12 Months): 262, Citation Count: 164

Additional Information:

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

Warning: The download time has expired please click on the item to try again.

CITED BY 164

	L. Flon , A. N. Habermann, Towards the construction of verifiable software systems, ACM SIGMOD Record, v.8 n.2, p.141-148, March 1976
	Ole Agesen , David Detlefs , Alex Garthwaite , Ross Knippel , Y. S. Ramakrishna , Derek White, An efficient meta-lock for implementing ubiquitous synchronization, ACM SIGPLAN Notices, v.34 n.10, p.207-222, Oct. 1999
	Hagit Attiya , Roy Friedman, A correctness condition for high-performance multiprocessors (extended abstract), Proceedings of the twenty-fourth annual ACM symposium on Theory of computing, p.679-690, May 04-06, 1992, Victoria, British Columbia, Canada
	N. Lynch, A hundred impossibility proofs for distributed computing, Proceedings of the eighth annual ACM Symposium on Principles of distributed computing, p.1-28, June 1989, Edmonton, Alberta, Canada
	Gary L. Peterson , Michael J. Fischer, Economical solutions for the critical section problem in a distributed system (Extended Abstract), Proceedings of the ninth annual ACM symposium on Theory of computing, p.91-97, May 04-04, 1977, Boulder, Colorado, United States
	C. S. Hsieh , R. A. Mata, Decentralized mutual exclusion in the presence of link failures, Proceedings of the 17th conference on ACM Annual Computer Science Conference, p.195-203, February 21-23, 1989, Louisville, Kentucky
	Anna R. Karlin , Kai Li , Mark S. Manasse , Susan Owicki, Empirical studies of competitve spinning for a shared-memory multiprocessor, ACM SIGOPS Operating Systems Review, v.25 n.5, p.41-55, Oct. 1991
	P. G. Sorenson, Interprocess communication in real-time systems, ACM SIGOPS Operating Systems Review, v.7 n.4, p.1-7, October 1973
	Jeffrey M. Jaffe, Decentralized Simulation of Resource Managers, Journal of the ACM (JACM), v.30 n.2, p.300-322, April 1983
	H. F. Tibbals, A structure for interprocess communication in a data communications handler, Proceedings of the annual conference, p.356-360, October 20-22, 1976, Houston, Texas, United States
	Cynthia Dwork , Orli Waarts, Simple and efficient bounded concurrent timestamping and the traceable use abstraction, Journal of the ACM (JACM), v.46 n.5, p.633-666, Sept. 1999
	Bob Beck , Bob Kasten , Shreekant Thakkar, VLSI assist for a multiprocessor, ACM SIGARCH Computer Architecture News, v.15 n.5, p.10-20, Oct. 1987
	Saul Rosen, Programming systems and languages 1965-1975, Communications of the ACM, v.15 n.7, p.591-600, July 1972
	Jae-Heon Yang , James H. Anderson, Fast, scalable synchronization with minimal hardware support, Proceedings of the twelfth annual ACM symposium on Principles of distributed computing, p.171-182, August 15-18, 1993, Ithaca, New York, United States
	Donald E. Knuth, Structured Programming with go to Statements, ACM Computing Surveys (CSUR), v.6 n.4, p.261-301, Dec. 1974
	Eyal Kushilevitz , Yishay Mansour , Michael O. Rabin , David Zuckerman, Lower bounds for randomized mutual exclusion, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing, p.154-163, May 16-18, 1993, San Diego, California, United States
	C. V. Ramamoorthy , M. J. Gonzalez, Recognition and representation of parallel processable streams in computer programs-II (Task/process Parallelism), Proceedings of the 1969 24th national conference, p.387-397, August 26-28, 1969
	Manhoi Choy , Ambuj K. Singh, Adaptive solutions to the mutual exclusion problem, Distributed Computing, v.8 n.1, p.1-17, August 1994
	Yoshiaki Araki , Sony Music Entertainment (Japan) Inc., VSPLUS: A high-level multi-user extension library for interactive VRML worlds, Proceedings of the third symposium on Virtual reality modeling language, p.39-47, February 16-20, 1998, Monterey, California, United States
	Niklaus Wirth, A note on “Program structures for parallel processing”, Communications of the ACM, v.9 n.5, p.320-321, May 1966
	Janice M. Stone, A simple and correct shared-queue algorithm using compare-and-swap, Proceedings of the 1990 conference on Supercomputing, p.495-504, October 1990, New York, New York, United States
	James H. Anderson, Lamport on mutual exclusion: 27 years of planting seeds, Proceedings of the twentieth annual ACM symposium on Principles of distributed computing, p.3-12, August 2001, Newport, Rhode Island, United States
	Patrick Keane , Mark Moir, A Simple Local-Spin Group Mutual Exclusion Algorithm, IEEE Transactions on Parallel and Distributed Systems, v.12 n.7, p.673-685, July 2001
	A. Nico Habermann, Synchronization of communicating processes, Communications of the ACM, v.15 n.3, p.171-176, March 1972
	Richard Newman-Wolfe, A protocol for wait-free, atomic, multi-reader shared variables, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, p.232-248, August 10-12, 1987, Vancouver, British Columbia, Canada
	Jason Gait, Semaphores outside the kernel, ACM SIGPLAN Notices, v.19 n.10, p.12-21, October 1984
	Leslie Lamport, The mutual exclusion problem: partII—statement and solutions, Journal of the ACM (JACM), v.33 n.2, p.327-348, April 1986
	Leslie Lamport, The mutual exclusion problem: part I—a theory of interprocess communication, Journal of the ACM (JACM), v.33 n.2, p.313-326, April 1986
	John M. Mellor-Crummey , Michael L. Scott, Algorithms for scalable synchronization on shared-memory multiprocessors, ACM Transactions on Computer Systems (TOCS), v.9 n.1, p.21-65, Feb. 1991
	Murray A. Eisenberg , Michael R. McGuire, Further comments on Dijkstra's concurrent programming control problem, Communications of the ACM, v.15 n.11, p.999, Nov. 1972
	D. Dolev , N. Shavit, Bounded concurrrent time-stamp systems are constructible, Proceedings of the twenty-first annual ACM symposium on Theory of computing, p.454-466, May 14-17, 1989, Seattle, Washington, United States
	Philip Gilbert , W. J. Chandler, Interference between communicating parallel processes, Communications of the ACM, v.15 n.6, p.427-437, June 1972
	Yehuda Afek , David S. Greenberg , Michael Merritt , Gadi Taubenfeld, Computing with faulty shared objects, Journal of the ACM (JACM), v.42 n.6, p.1231-1274, Nov. 1995
	Jerome Feldman , David Gries, Translator writing systems, Communications of the ACM, v.11 n.2, p.77-113, Feb. 1968
	Patrick Keane , Mark Moir, A simple local-spin group mutual exclusion algorithm, Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing, p.23-32, May 04-06, 1999, Atlanta, Georgia, United States
	Leslie Lamport, A fast mutual exclusion algorithm, ACM Transactions on Computer Systems (TOCS), v.5 n.1, p.1-11, Feb. 1987
	Robert Cypher, The communication requirements of mutual exclusion, Proceedings of the seventh annual ACM symposium on Parallel algorithms and architectures, p.147-156, June 24-26, 1995, Santa Barbara, California, United States
	Leslie Lamport, A new solution of Dijkstra's concurrent programming problem, Communications of the ACM, v.17 n.8, p.453-455, Aug. 1974
	Hagit Attiya , Vita Bortnikov, Adaptive and efficient mutual exclusion (extended abstract), Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing, p.91-100, July 16-19, 2000, Portland, Oregon, United States
	Allan Gottlieb , Boris D. Lubachevsky , Larry Rudolph, Basic Techniques for the Efficient Coordination of Very Large Numbers of Cooperating Sequential Processors, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.2, p.164-189, April 1983
	Howard P. Katseff, A new solution to the critical section problem, Proceedings of the tenth annual ACM symposium on Theory of computing, p.86-88, May 01-03, 1978, San Diego, California, United States
	Irene Greif , Carl Hewitt, Actor semantics of PLANNER-73, Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.67-77, January 20-22, 1975, Palo Alto, California
	Sibsankar Haldar , Paul Vitányi, Bounded concurrent timestamp systems using vector clocks, Journal of the ACM (JACM), v.49 n.1, p.101-126, January 2002
	Matteo Frigo , Charles E. Leiserson , Keith H. Randall, The implementation of the Cilk-5 multithreaded language, ACM SIGPLAN Notices, v.33 n.5, p.212-223, May 1998
	Gary L. Peterson, A New Solution to Lamport's Concurrent Programming Problem Using Small Shared Variables, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.1, p.56-65, Jan. 1983
	Raymond E. Miller , Chee K. Yap, On formulating simultaneity for studying parallelism and synchronization, Proceedings of the tenth annual ACM symposium on Theory of computing, p.105-113, May 01-03, 1978, San Diego, California, United States
	James H. Anderson , Mark Moir, Using k-exclusion to implement resilient, scalable shared objects (extended abstract), Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.141-150, August 14-17, 1994, Los Angeles, California, United States
	Edward A. Lycklama , Vassos Hadzilacos, A first-come-first-served mutual-exclusion algorithm with small communication variables, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.4, p.558-576, Oct. 1991
	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
	Eugene Styer, Improving fast mutual exclusion, Proceedings of the eleventh annual ACM symposium on Principles of distributed computing, p.159-168, August 10-12, 1992, Vancouver, British Columbia, Canada
	Manhoi Choy , Ambuj K. Singh, Adaptive solutions to the mutual exclusion problem, Proceedings of the twelfth annual ACM symposium on Principles of distributed computing, p.183-194, August 15-18, 1993, Ithaca, New York, United States
	J. J. Horning , B. Randell, Process Structuring, ACM Computing Surveys (CSUR), v.5 n.1, p.5-30, March 1973
	A. Udaya Shankar, An introduction to assertional reasoning for concurrent systems, ACM Computing Surveys (CSUR), v.25 n.3, p.225-262, Sept. 1993
	Rajeev Alur , Hagit Attiya , Gadi Taubenfeld, Time-adaptive algorithms for synchronization, Proceedings of the twenty-sixth annual ACM symposium on Theory of computing, p.800-809, May 23-25, 1994, Montreal, Quebec, Canada
	Edward T. Ordman, Limitations of using tokens for mutual exclusion, Proceedings of the 1995 ACM 23rd annual conference on Computer science, p.26-29, February 28-March 02, 1995, Nashville, Tennessee, United States
	Richard E. Ladner, The complexity of problems in systems of communicating sequential processes (Extended Abstract), Proceedings of the eleventh annual ACM symposium on Theory of computing, p.214-223, April 30-May 02, 1979, Atlanta, Georgia, United States
	Cüneyt M. Özveren , Alan S. Willsky , Panos J. Antsaklis, Stability and stabilizability of discrete event dynamic systems, Journal of the ACM (JACM), v.38 n.3, p.729-751, July 1991
	Eyal Kushilevitz , Michael O. Rabin, Randomized mutual exclusion algorithms revisited, Proceedings of the eleventh annual ACM symposium on Principles of distributed computing, p.275-283, August 10-12, 1992, Vancouver, British Columbia, Canada
	Rajeev Alur , Gadi Taubenfeld, Contention—free complexity of shared memory algorithms, Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing, p.61-70, August 14-17, 1994, Los Angeles, California, United States
	M. G. Gouda , C. K. Chang, A technique for proving liveness of communicating finite state machines with examples, Proceedings of the third annual ACM symposium on Principles of distributed computing, p.38-49, August 27-29, 1984, Vancouver, British Columbia, Canada
	David F. Bacon , Ravi Konuru , Chet Murthy , Mauricio Serrano, Thin locks: featherweight synchronization for Java, ACM SIGPLAN Notices, v.33 n.5, p.258-268, May 1998
	Isaac Saias, Proving probabilistic correctness statements: the case of Rabin's algorithm for mutual exclusion, Proceedings of the eleventh annual ACM symposium on Principles of distributed computing, p.263-274, August 10-12, 1992, Vancouver, British Columbia, Canada
	Jae-Heon Yang , James H. Anderson, Time bounds for mutual exclusion and related problems, Proceedings of the twenty-sixth annual ACM symposium on Theory of computing, p.224-233, May 23-25, 1994, Montreal, Quebec, Canada
	James E. Burns , Paul Jackson , Nancy A. Lynch , Michael J. Fischer , Gary L. Peterson, Data Requirements for Implementation of N-Process Mutual Exclusion Using a Single Shared Variable, Journal of the ACM (JACM), v.29 n.1, p.183-205, Jan. 1982
	Hagit Attiya , Roy Friedman, Programming DEC-Alpha based multiprocessors the easy way (extended abstract), Proceedings of the sixth annual ACM symposium on Parallel algorithms and architectures, p.157-166, June 27-29, 1994, Cape May, New Jersey, United States
	Richard C. Holt, Comments on prevention of system deadlocks, Communications of the ACM, v.14 n.1, p.36-38, Jan. 1971
	Jayadev Misra, A discipline of multiprogramming, ACM Computing Surveys (CSUR), v.28 n.4es, Dec. 1996
	Shamim A. Naqvi, MSL: a microprocessors systems language, Proceedings of the 16th annual Southeast regional conference, p.11-15, April 13-15, 1978, Atlanta, Georgia
	Yehuda Afek , Danny Dolev , Eli Gafni , Michael Merritt , Nir Shavit, A bounded first-in, first-enabled solution to the l-exclusion problem, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.3, p.939-953, May 1994
	Craig E. Wills, Process synchronization and IPC, ACM Computing Surveys (CSUR), v.28 n.1, p.209-211, March 1996
	Yuh-Jzer Joung , Scott A. Smolka, Coordinating first-order multiparty interactions, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.3, p.954-985, May 1994
	André B. Bondi, Characteristics of scalability and their impact on performance, Proceedings of the 2nd international workshop on Software and performance, p.195-203, September 2000, Ottawa, Ontario, Canada
	Jayadev Misra, A Simple, Object-Based View of Multiprogramming, Formal Methods in System Design, v.20 n.1, p.23-45, January 2002
	Yong-Jik Kim , James H. Anderson, A space- and time-efficient local-spin spin lock, Information Processing Letters, v.84 n.1, p.47-55, 16 October 2002
	D. C. Gilbert, Modeling spin locks with queuing networks, ACM SIGOPS Operating Systems Review, v.12 n.1, p.29-42, January 1978
	Marcos K. Aguilera, A pleasant stroll through the land of infinitely many creatures, ACM SIGACT News, v.35 n.2, June 2004
	S. Aggarwal , D. Barbaŕ , K. Z. Meth, A Software Environment for the Specification and Analysis of Problems of Coordination and Concurrency, IEEE Transactions on Software Engineering, v.14 n.3, p.280-290, March 1988
	Hagit Attiya , Vita Bortnikov, Adaptive and efficient mutual exclusion, Distributed Computing, v.15 n.3, p.177-189, July 2002
	Yutaka Wada , Zixue Cheng, An efficient distributed method for allocating resources based on an unobstructed squeezing technique, ACM SIGOPS Operating Systems Review, v.36 n.3, p.33-45, July 2002
	Prasad Jayanti , Srdjan Petrovic , King Tan, Fair group mutual exclusion, Proceedings of the twenty-second annual symposium on Principles of distributed computing, p.275-284, July 13-16, 2003, Boston, Massachusetts
	G. Forsythe, Syllabi and qualifying examinations for the Ph. D. in computer science at Stanford University, ACM SIGCSE Bulletin, v.1 n.4, p.25-34, December 1969
	Peter J. Denning, Principles of computer system organization, ACM SIGCSE Bulletin, v.2 n.3, p.45-55, November 1970
	Marcos K. Aguilera , Burkhard Englert , Eli Gafni, On using network attached disks as shared memory, Proceedings of the twenty-second annual symposium on Principles of distributed computing, p.315-324, July 13-16, 2003, Boston, Massachusetts
	James H. Anderson , Yong-Jik Kim, An improved lower bound for the time complexity of mutual exclusion, Distributed Computing, v.15 n.4, p.221-253, December 2002
	Kiyokuni Kawachiya , Akira Koseki , Tamiya Onodera, Lock reservation: Java locks can mostly do without atomic operations, ACM SIGPLAN Notices, v.37 n.11, November 2002
	Yuh-Jzer Joung, Quorum-Based Algorithms for Group Mutual Exclusion, IEEE Transactions on Parallel and Distributed Systems, v.14 n.5, p.463-476, May 2003
	David C. M. Wood, An example in synchronization of cooperating processes: theory and practice, ACM SIGOPS Operating Systems Review, v.7 n.3, p.10-18, July 1973
	John M. Chambers, A user-controlled synchronization method, ACM SIGOPS Operating Systems Review, v.7 n.2, p.16-25, April 1973
	Prasad Jayanti, Adaptive and efficient abortable mutual exclusion, Proceedings of the twenty-second annual symposium on Principles of distributed computing, p.295-304, July 13-16, 2003, Boston, Massachusetts
	James H. Anderson , Yong-Jik Kim , Ted Herman, Shared-memory mutual exclusion: major research trends since 1986, Distributed Computing, v.16 n.2-3, p.75-110, September 2003
	Gregory W. Price , David K. Lowenthal, A comparative analysis of fine-grain threads packages, Journal of Parallel and Distributed Computing, v.63 n.11, p.1050-1063, November 2003
	James E. Burns, Mutual exclusion with linear waiting using binary shared variables, ACM SIGACT News, v.10 n.2, Summer 1978
	Monika Solanki , Antonio Cau , Hussein Zedan, Augmenting semantic web service descriptions with compositional specification, Proceedings of the 13th international conference on World Wide Web, May 17-20, 2004, New York, NY, USA
	H. Mountassir, To correct communicating finite state machines, Proceedings of the 17th conference on ACM Annual Computer Science Conference, p.327-334, February 21-23, 1989, Louisville, Kentucky
	Vassos Hadzilacos, A note on group mutual exclusion, Proceedings of the twentieth annual ACM symposium on Principles of distributed computing, p.100-106, August 2001, Newport, Rhode Island, United States
	James H. Anderson , Yong-Jik Kim, An improved lower bound for the time complexity of mutual exclusion, Proceedings of the twentieth annual ACM symposium on Principles of distributed computing, p.90-99, August 2001, Newport, Rhode Island, United States
	Michael J. Fischer , Nancy A. Lynch , James E. Burns , Allan Borodin, Distributed FIFO allocation of identical resources using small shared space, ACM Transactions on Programming Languages and Systems (TOPLAS), v.11 n.1, p.90-114, Jan. 1989
	Peter J. Denning, Third Generation Computer Systems, ACM Computing Surveys (CSUR), v.3 n.4, p.175-216, Dec. 1971
	Uri Abraham , Shlomi Dolev , Ted Herman , Irit Koll, Self-stabilizing l-exclusion, Theoretical Computer Science, v.266 n.1-2, p.653-692, 09/06/2001
	E. J. Cameron , D. M. Cohen , B. Gopinath , W. M. Keese, II , L. Ness , P. Uppaluru , J. R. Vollaro, The IC* Model of Parallel Computation and Programming Environment, IEEE Transactions on Software Engineering, v.14 n.3, p.317-326, March 1988
	J. L. Baer, A Survey of Some Theoretical Aspects of Multiprocessing, ACM Computing Surveys (CSUR), v.5 n.1, p.31-80, March 1973
	Benny Chor , Amos Israeli , Ming Li, On processor coordination using asynchronous hardware, Proceedings of the sixth annual ACM Symposium on Principles of distributed computing, p.86-97, August 10-12, 1987, Vancouver, British Columbia, Canada
	Cynthia Dwork , Orli Waarts, Simple and efficient bounded concurrent timestamping or bounded concurrent timestamp systems are comprehensible!, Proceedings of the twenty-fourth annual ACM symposium on Theory of computing, p.655-666, May 04-06, 1992, Victoria, British Columbia, Canada
	B. A. Zimmermann , G. A. Crichton, A programming model for the Mark III hypercube with multiple processor nodes, Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues, p.528-535, January 19-20, 1988, Pasadena, California, United States
	David A. Fisher, A survey of control structures in programming languages, ACM SIGPLAN Notices, v.7 n.11, November 1972
	Nian-Feng Tzeng, A Cost-Effective Combining Structure for Large-Scale Shared-Memory Multiprocessors, IEEE Transactions on Computers, v.41 n.11, p.1420-1429, November 1992
	Chung-Kuo Chang, Bidding Against Competitors, IEEE Transactions on Software Engineering, v.16 n.1, p.100-104, January 1990
	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
	Anish Arora , Mohamed Gouda, Closure and Convergence: A Foundation of Fault-Tolerant Computing, IEEE Transactions on Software Engineering, v.19 n.11, p.1015-1027, November 1993
	Dan E. Willard, Log-logarithmic protocols for resolving ethernet and semaphore conflicts, Proceedings of the sixteenth annual ACM symposium on Theory of computing, p.512-521, December 1984
	Ömer Eǧecioǧlu , Ambuj K. Singh, Naming symmetric processes using shared variables, Distributed Computing, v.8 n.1, p.19-38, August 1994
	Peter J. Denning, Principles of computer system organization, Proceedings of the first SIGCSE technical symposium on Education in computer science, p.45-55, January 1970
	William W. Collier, Asynchronous interactions on shared data, ACM SIGOPS Operating Systems Review, v.7 n.2, p.6-15, April 1973
	K. Alagarsamy, A mutual exclusion algorithm with optimally bounded bypasses, Information Processing Letters, v.96 n.1, p.36-40, 16 October 2005
	Philip M. Mills, Control functions for a multiprocessor architecture, ACM SIGOPS Operating Systems Review, v.11 n.1, p.26-40, January 1977
	Faith Fich , Eric Ruppert, Hundreds of impossibility results for distributed computing, Distributed Computing, v.16 n.2-3, p.121-163, September 2003
	James H. Anderson , Mark Moir, Using local-spin k-exclusion algorithms to improve wait-free object implementations, Distributed Computing, v.11 n.1, p.1-20, December 1997
	Carole Delporte-Gallet , Hugues Fauconnier , Rachid Guerraoui , Petr Kouznetsov, Mutual exclusion in asynchronous systems with failure detectors, Journal of Parallel and Distributed Computing, v.65 n.4, p.492-505, April 2005
	James H. Anderson , Yong-Jik Kim, A new fast-path mechanism for mutual exclusion, Distributed Computing, v.14 n.1, p.17-29, January 2001
	Rajeev Alur , Gadi Taubenfeld, Fast timing-based algorithms, Distributed Computing, v.10 n.1, p.1-10, July 1996
	Gregory W. Bond, Software as art, Communications of the ACM, v.48 n.8, p.118-124, August 2005
	Charles M. Shub, A unified treatment of deadlock, Journal of Computing Sciences in Colleges, v.19 n.1, p.194-204, October 2003
	Barbara G. Ryder , Mary Lou Soffa , Margaret Burnett, The impact of software engineering research on modern progamming languages, ACM Transactions on Software Engineering and Methodology (TOSEM), v.14 n.4, p.431-477, October 2005
	Ajoy K. Datta , Maria Gradinariu , Michel Raynal, Stabilizing mobile philosophers, Information Processing Letters, v.95 n.1, p.299-306, 16 July 2005
	Srdjan Petrovic, Space-efficient FCFS group mutual exclusion, Information Processing Letters, v.95 n.2, p.343-350, 31 July 2005
	David F. Bacon , Ravi Konuru , Chet Murthy , Mauricio J. Serrano, Thin locks: featherweight Synchronization for Java, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Gary D. Knott, A proposal for certain process management and intercommunication primitives, ACM SIGOPS Operating Systems Review, v.8 n.4, p.7-44, October 1974
	Daniel Hoffman, On Criteria for Module Interfaces, IEEE Transactions on Software Engineering, v.16 n.5, p.537-542, May 1990
	Frederick G. Sayward, A correctness criterion for CSP parallel programs, ACM SIGPLAN Notices, v.10 n.9, September 1975
	Wojciech Golab , Danny Hendler , Philipp Woelfel, An O(1) RMRs leader election algorithm, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing, July 23-26, 2006, Denver, Colorado, USA
	S. Nishio , K. F. Li , E. G. Manning, A Resilient Mutual Exclusion Algorithm for Computer Networks, IEEE Transactions on Parallel and Distributed Systems, v.1 n.3, p.344-356, July 1990
	K. Alagarsamy, Some myths about famous mutual exclusion algorithms, ACM SIGACT News, v.34 n.3, p.94-103, September 2003
	Jack B. Dennis, Bibliography, Record of the Project MAC conference on concurrent systems and parallel computation, ACM, New York, NY, 1970
	B. K. Szymanski, A simple solution to Lamport's concurrent programming problem with linear wait, Proceedings of the 2nd international conference on Supercomputing, p.621-626, June 1988, St. Malo, France
	Glenn Ricart , Ashok K. Agrawala, An optimal algorithm for mutual exclusion in computer networks, Communications of the ACM, v.24 n.1, p.9-17, Jan. 1981
	Ifen Yang , William Moloney, Concurrent reading and writing with replicated data objects, Proceedings of the 1988 ACM sixteenth annual conference on Computer science, p.414-417, February 1988, Atlanta, Georgia, United States
	Uday S. Reddy, Programming with sequences, Proceedings of the 20th annual Southeast regional conference, p.189-198, April 01-03, 1982, Knoxville, Tennessee
	David Siegwart , Martin Hirzel, Improving locality with parallel hierarchical copying GC, Proceedings of the 2006 international symposium on Memory management, June 10-11, 2006, Ottawa, Ontario, Canada
	Hai Huang , Padmanabhan Pillai , Kang G. Shin, Improving Wait-Free Algorithms for Interprocess Communication in Embedded Real-Time Systems, Proceedings of the General Track: 2002 USENIX Annual Technical Conference, p.303-316, June 10-15, 2002
	Neeraj Mittal , Prajwal K. Mohan, A priority-based distributed group mutual exclusion algorithm when group access is non-uniform, Journal of Parallel and Distributed Computing, v.67 n.7, p.797-815, July, 2007
	Justin E. Gottschlich , Jeremy G. Siek , Manish Vachharajani , Dwight Y. Winkler , Daniel A. Connors, An efficient lock-aware transactional memory implementation, Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems, p.10-17, July 06-06, 2009, Genova, Italy
	D. Knuth, Structured programming with go to statements, Classics in software engineering, Yourdon Press, Upper Saddle River, NJ, 1979
	Antoni Mazurkiewicz, Romanian Academy Calea Victoriei 125, Bucharest, Romania Locally Derivable Graphs, Fundamenta Informaticae, v.75 n.1-4, p.335-355, January 2007
	M. Muhammad , A. S. Cheema , I. Gupta, Efficient Mutual Exclusion in Peer-to-Peer Systems, Proceedings of the 6th IEEE/ACM International Workshop on Grid Computing, p.296-299, November 13-14, 2005
	Antoni Mazurkiewicz, Bilateral Ranking Negotiations, Fundamenta Informaticae, v.60 n.1-4, p.1-16, January 2004
	Antoni Mazurkiewicz, Multilateral Ranking Negotiations, Fundamenta Informaticae, v.63 n.2-3, p.241-258, April 2004
	Faisel Saeed , K. M. George , M. H. Samadzadeh, Implementation of classical mutual exclusion algorithms in Ada, ACM SIGAda Ada Letters, v.XII n.1, p.73-84, Jan./Feb. 1992
	E. J. Cameron , D. M. Cohen , B. Gopinath , W. M. Keese, II , L. Ness , P. Uppaluru , J. R. Vollaro, The IC model of parallel computation and programming environment, ACM SIGCOMM Computer Communication Review, v.18 n.3, p.45-68, May/June, 1988
	Gerald Jay Sussman , Guy L. Steele, Jr., Scheme: A Interpreter for Extended Lambda Calculus, Higher-Order and Symbolic Computation, v.11 n.4, p.405-439, December 1998
	Wojciech Golab , Vassos Hadzilacos , Danny Hendler , Philipp Woelfel, Constant-RMR implementations of CAS and other synchronization primitives using read and write operations, Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing, August 12-15, 2007, Portland, Oregon, USA
	Jacques Cohen, The crucial role of CS in systems and synthetic biology, Communications of the ACM, v.51 n.5, May 2008
	J. A. Gosden, Explicit parallel processing description and control in programs for multi- and uni-processor computers, Proceedings of the November 7-10, 1966, fall joint computer conference, November 07-10, 1966, San Francisco, California
	J. A. Gosden, Explicit parallel processing description and control in programs for multi- and uni-processor computers, Proceedings of the November 7-10, 1966, fall joint computer conference, November 07-10, 1966, San Francisco, California
	D. N. Senzig, Observations on high-performance machines, Proceedings of the November 14-16, 1967, fall joint computer conference, November 14-16, 1967, Anaheim, California
	Ranganath Atreya , Neeraj Mittal , Sathya Peri, A Quorum-Based Group Mutual Exclusion Algorithm for a Distributed System with Dynamic Group Set, IEEE Transactions on Parallel and Distributed Systems, v.18 n.10, p.1345-1360, October 2007
	C. V. Ramamoorthy , M. J. Gonzalez, A survey of techniques for recognizing parallel processable streams in computer programs, Proceedings of the November 18-20, 1969, fall joint computer conference, November 18-20, 1969, Las Vegas, Nevada
	Larry L. Constantine, Control of sequence and parallelism in modular programs, Proceedings of the April 30--May 2, 1968, spring joint computer conference, April 30-May 02, 1968, Atlantic City, New Jersey
	Yong-Jik Kim , James H. Anderson, Adaptive mutual exclusion with local spinning, Distributed Computing, v.19 n.3, p.197-236, January 2007
	Leslie Lamport, Teaching concurrency, ACM SIGACT News, v.40 n.1, March 2009
	Florian Kluge , Chenglong Yu , Jörg Mische , Sascha Uhrig , Theo Ungerer, Implementing AUTOSAR scheduling and resource management on an embedded SMT processor, Proceedings of th 12th International Workshop on Software and Compilers for Embedded Systems, April 23-24, 2009, Nice, France
	Vibhor Bhatt , Nicholas Christman , Prasad Jayanti, Extracting quorum failure detectors, Proceedings of the 28th ACM symposium on Principles of distributed computing, August 10-12, 2009, Calgary, AB, Canada
	Danny Hendler , Philipp Woelfel, Randomized mutual exclusion in O(log N / log log N) RMRs, Proceedings of the 28th ACM symposium on Principles of distributed computing, August 10-12, 2009, Calgary, AB, Canada
	Salahuddin Mohammad Masum , Mohammad Mostofa Akbar , Amin Ahsan Ali , Mohammad Ashiqur Rahman, A consensus-based l-Exclusion algorithm for mobile ad hoc networks, Ad Hoc Networks, v.8 n.1, p.30-45, January, 2010
	Daan Leijen , Wolfram Schulte , Sebastian Burckhardt, The design of a task parallel library, ACM SIGPLAN Notices, v.44 n.10, October 2009