CS6213: Special Topics in Distributed Computing
  • 1. Course Syllabus
  • 2. Research Projects
  • 1. Week 01: Introduction and Basic Notions
  • 2. Week 02: SMR and Consensus Protocols
  • 3. Week 03: Raft, FLP, CAP, and Byzantine Fault Tolerance
  • 4. Week 04: Linearisability and Atomicity
  • 5. Week 05: Auxiliary State and Rely-Guarantee Reasoning
  • 6. Week 06: Specifying Systems in TLA+
CS6213: Special Topics in Distributed Computing
  • Docs »
  • Search

© Copyright 2021, Ilya Sergey

Built with Sphinx using a theme provided by Read the Docs.