Computer Science 612
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|