To formalize our intuitions about what a user … safety and maximality. … (1) The synchronizer must not "back out" any … it must only copy data between replicas, never … it must produce results that belong to the … [Every run must be maximal.] a safe run is maximal [if] it propagates all the …
Google-1
Google-2
Copyright clearance needed for quotation.