* Linearizability (p566) the strictest criterion for a replication system The correctness criteria for replicated objects are defined by referring to a virtual interleaving…