Computer Science 612
Notes
Periodically, extra class notes, on topics that are not covered in the text, will be posted here.
| Topic (link if available) | Date |
| Proof on Equivalence of Models | September 2 |
| Lower Bound on Number of Read/Write Registers for Mutual Exclusion | October 3 |
| Coordinated Attack Problem | October 18 |
| Impossibility Results for Distributed Computing, Synthesis Lectures on Distributed Computing Theory | November 1 |