Lamport's distributed mutual exclusion algorithm

Known as: Lamport 
Lamport's Distributed Mutual Exclusion Algorithm is a contention-based algorithm for mutual exclusion on a distributed system.
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Review
2012
Review
2012
ver the past several decades, researchers have suspected and confirmed various links between breakfast consumption and adolescent… (More)
Is this relevant?
Review
2010
Review
2010
Fault Tolerance Techniques enable systems to perform tasks in the presence of faults. A checkpoint is a local state of a process… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Review
2000
Review
2000
Checkpoint is defined as a designated place in a program at which normal processing is interrupted specifically to preserve the… (More)
  • figure 1
  • table 1
  • table 2
  • figure 2
Is this relevant?
1993
1993
This paper presents a polynomial protocol for reaching Byzantine agreement in t + 1 rounds whenever n > 3t, where n is the number… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
1989
1989
There has been much interest in decision procedures for testing satisfiability (or validity) of formulae in various systems of… (More)
  • figure 2
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
Review
1986
Review
1986
Proofsystems for proving partial correctness of distributed processes which communicate through message-passing are discussed… (More)
Is this relevant?