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
»
Index
Index