Courses/Distributed Reliability/Coordination and Leases

Checkpoint: Coordination and Leases

Leases, tokens, elections and clocks for a system you have not seen before.