Linearizability and State-Machine Replication: Is It a Match? · HackerTrans