Marc Shapiro, Karthikeyan Bhargavan, Nishith Krishna. A Constraint-Based Formalism for Consistency in Replicated Systems. In Teruo Higashino, editor, Principles of Distributed Systems, 8th International Conference, OPODIS 2004, Grenoble, France, December 15-17, 2004, Revised Selected Papers. Volume 3544 of Lecture Notes in Computer Science, pages 331-345, Springer, 2004. [doi]
Abstract is missing.