CS542: Topics in Distributed Systems Replication.
1 Linearizability (p566) the strictest criterion for a replication system The correctness criteria for replicated objects are defined by referring to.