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