1 Linearizability (p566) the strictest criterion for a replication system The correctness criteria for replicated objects are defined by referring to.
