CSC 2415 --- Advanced Topics in Distributed Computing

Some lecture notes and handouts

• Link to Leslie Lamport's ``Paxos made simple'' paper
• Paxos slides
• Paxos proof
• Failure Detectors
• CT Consensus Algorithm
• Consensus with Efficient Reads
• Bounded Disagreement
• On the Number of Objects with Distinct Power and the Linearizability of Set Agreement Objects
  

  On BG simulation:

• David's lecture google slides
• Daniel Lister. A pedagogical presentation of the BG-simulation.
• Elizabeth Borowsky and Eli Gafni. Generalized FLP impossibility result for t-resilient asynchronous computations.
• Elizabeth Borowsky et al. The BG distributed simulation algorithm.
• Soma Chaudhuri and Paul Reiners. Understanding the Set Consensus Partial Order Using the Borowsky-Gafni Simulation (Extended Abstract) and here.