Linearizability and State-Machine Replication: Is it a match?

Franz J. Hauck, Alexander Heß

Linearizability is a well-known correctness property for concurrent and distributed systems. In the past, it was also used to prove the design and implementation of replicated stat…