Implementing linearizability at large scale and low latency
The part-time parliament