Linearizability and State
Linearizability and State-Machine Replication: Is it a match?
Linearizability and State-Machine Replication: Is it a match?
arXiv:2407.01720v1 Announce Type: new
Abstract: 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 state-machines correct. State-machine replication (SMR) is a concept to ach…
