C S 462-001: Distributed System Design