“…Note that P ∈ S(G) is a path over E G , and hence a total order of the events in G. However, we do not require P to be a topological ordering of G, i.e., ≺ G ⊆< P may not hold. Although some specification approaches consider only arbitrations that include visibility [7,5], our definition accommodates also presentations, such as [4,2], in which arbitrations may not preserve visibility. We focus later on in a few subclasses, such as coherent specifications, in order to establish a precise correspondence with replicated data types.…”