The Mutual Exclusion Problem - Part II: Statement and Solutions (2000)

by L. Lamport
Citations:54 - 2 self

Active Bibliography

9 Lamport on Mutual Exclusion: 27 Years of Planting Seeds – James H. Anderson - 2001
11 What It Means for a Concurrent Program to Satisfy a Specification: Why No One Has Specified Priority – Leslie Lamport - 1984
28 Distributed FIFO Allocation of Identical Resources Using Small Shared Space – Michael J. Fischer, Nancy A. Lynch, James E. Burns, Allan Borodin - 1989
47 The Mutual Exclusion Problem - Part I: A Theory of Interprocess Communication – L. Lamport - 2000
47 Shared-memory mutual exclusion: Major research trends since – James H. Anderson, Yong-jik Kim - 1986
89 Basic Techniques for the Efficient Coordination of Very Large Numbers of Cooperating Sequential Processors – Allan Gottlieb, B.D. Lubachevsky, Larry Rudolph - 1981
Chapter on Distributed Computing – Leslie Lamport, Nancy Lynch - 1989
A NEW SOLUTION TO THE CRITICAL SECTION PROBLEM (Extended Abstract) – Howard P. Katseff
A New Solution to Lamport's Concurrent Programming . . . – Gary L. Peterson - 1983
32 Resource Allocation With Immunity To Limited Process Failure – Michael J. Fischer, Nancy A. Lynch, James E. Burns, Allan Borodin - 1979
A Fast Mutual Exclusion Algorithm Leslie Lamport – unknown authors - 1985
219 A Fast Mutual Exclusion Algorithm – Leslie Lamport - 1986
118 A Simple Approach to Specifying Concurrent Systems – Leslie Lamport - 1988
13 A First Come First Served Mutual Exclusion Algorithm With Small Communication Variables – Edward Lycklama, Vassos Hadzilacos - 1991
2 Efficient Object Sharing in Shared-Memory Multiprocessors – Mark Moir - 1996
2.1.1 Taxonomy......................... 2 – Leslie Lamport, Nancy Lynch
50 The Anchored Version of the Temporal Framework – Zohar Manna, Amir Pnueli - 1989
818 The Temporal Logic of Actions – Leslie Lamport - 1993
8 Self-Stabilizing l-Exclusion – Uri Abraham, Shlomi Dolev, Ted Herman, Irit Koll - 2001