On the Locality of Consistency Conditions

@inproceedings{Vitenberg2003OnTL,
  title={On the Locality of Consistency Conditions},
  author={Roman Vitenberg and Roy Friedman},
  booktitle={DISC},
  year={2003}
}
Locality is a property of consistency conditions indicating that any collection of implementations of a consistency condition C for disjoint subsets of objects is an implementation of C for the entire set of objects. This paper investigates the sources of locality by considering the general model of consistency conditions and capturing their properties. We establish several ways of constructing local conditions as well as new general techniques for analyzing locality of consistency conditions… CONTINUE READING