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

Re-assign community