Distributed Systems.
The Paxos Approach There are two types.  One or more servers propose values Systems must agree on a single value as chosen Only one value is every chosen 2. Multi Paxos Combine several instances of  to agree on series of values forming a log. Requirements Safety -> Algorithm must never do anything