replacing paxos with network ordering

distributed systems papers