The Mutual Exclusion Problem - Part I: A Theory of Interprocess Communication (2000)

by L. Lamport
Citations:46 - 3 self

Documents Related by Co-Citation

290 Solution of a problem in concurrent programming control – E W Dijkstra - 1965
1027 How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs – L Lamport
55 The Mutual Exclusion Problem - Part II: Statement and Solutions – L. Lamport - 2000
2345 Time, clocks, and the ordering of events in a distributed system – Leslie Lamport - 1978
632 Self stabilizing systems in spite of distributed control – E W Dijkstra - 1974
215 A new solution of Dijkstra’s concurrent programming problem – Leslie Lamport - 1974
47 Detecting Data Races in Parallel Program Executions – Robert Netzer Netzer, Barton P. Miller - 1989
33 Tools for the efficient development of efficient parallel programs – I Nudler, L Rudolph - 1986
41 Parallel program debugging with on-the-fly anomaly detection – Robert Hood, Ken Kennedy, John M Mellor-Crummey - 1990
27 Debugging Fortran on a shared memory machine – Todd R Allen, David A Padua - 1987
69 A Mechanism for Efficient Debugging of Parallel Programs – Barton P Miller, Jong-Deok Choi - 1988
108 An empirical comparison of monitoring algorithms for access anomaly detection – A Dinning, E Schonberg - 1990
42 Event Synchronization Analysis for Debugging Parallel Programs – Perry A. Emrath, Sanjoy Ghosh, David A. Padua - 1989
27 Analyzing Traces with Anonymous Synchronization – David Helmbold, Charles E. Mcdowell, Jian-zhong Wang - 1990
1019 Distributed Snapshots: Determining Global States of Distributed Systems – K. Mani Chandy - 1985
305 Proving the Correctness of Multiprocess Programs – Leslie Lamport - 1977
7 The Global Time Assumption and Semantics for Concurrent Systems – S Ben-David - 1988
87 Concurrent Reading While Writing – L Peterson - 1983
112 Concurrent Reading and Writing – Leslie Lamport - 1977