Study of a collection of algorithms that are basic to the world of distributed and parallel systems. Discussion of algorithms from the following areas: termination detection, deadlock detection, global snapshots, clock synchronization, fault tolerance (byzantine and self-stabilizing systems). Students will implement algorithms on a cluster of computers and will present papers on topics in these areas.
