Linearizability and State-Machine Replication: Is It a Match?
arxiv.org