Linearizability

Tolerating Slowdowns in Replicated State Machines