Paxos - UTCS course CS380D Distributed Computing