Basic problems in distributed systems such as symmetry breaking, consensus, resource allocation, and synchronization. The impact of system characteristics, such as models of communication, timing and failure, and of solution requirements, such as correctness and complexity criteria and algorithmic constraints, on the computability and complexity of these problems. Techniques for solving problems under different models will be emphasized.
This course may not be repeated for credit.
Antirequisite(s)
- Credit for Computer Science 561 and 661 will not be allowed.
Sections
| LEC 1 | MWF 10:00 - 10:50
| TBA
| | | |
| TUT 1 | R 13:00 - 13:50
| TBA
| | | |
This course will be offered next in
Winter 2020.