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

by L. Lamport
Citations:54 - 2 self

Documents Related by Co-Citation

290 Solution of a problem in concurrent programming control – E W Dijkstra - 1965
215 A new solution of Dijkstra’s concurrent programming problem – Leslie Lamport - 1974
632 Self stabilizing systems in spite of distributed control – E W Dijkstra - 1974
928 Linearizability: a correctness condition for concurrent objects – Maurice P. Herlihy, Jeannette M. Wing - 1990
219 A Fast Mutual Exclusion Algorithm – Leslie Lamport - 1986
166 Self-stabilizing of dynamic systems assuming only read/write atomicity – S Dolev, A Israeli, S Moran - 1993
733 Wait-Free Synchronization – Maurice Herlihy - 1993
39 Self-stabilization (in spite of distributed control) in tree-structured systems – H S M Kruijer - 1979
111 Self-stabilizing extensions for message-passing systems – S Katz, KJ Perry - 1993
90 Uniform self-stabilizing rings – J Burns, J Pachl - 1989
117 Algorithms for mutual exclusion – M Raynal, D Beeson - 1986
145 On Interprocess Communication – Leslie Lamport - 1985
29 A new approach to proving the correctness of multiprocess programs – L Lamport - 1979
13 A First Come First Served Mutual Exclusion Algorithm With Small Communication Variables – Edward Lycklama, Vassos Hadzilacos - 1991
487 Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors – John M. Mellor-crummey, Michael L. Scott - 1991
94 Synchronization algorithms for shared-memory multiprocessors – Gary Granunke, Shreekant Thakkar - 1990
149 Myths about the Mutual Exclusion Problem – G L Peterson - 1981
47 The Mutual Exclusion Problem - Part I: A Theory of Interprocess Communication – L. Lamport - 2000
1027 How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs – L Lamport