A Constraint-Based Formalism for Consistency in Replicated Systems.

Marc Shapiro, Karthikeyan Bhargavan, Nishith Krishna

Browse the full OPODIS paper archive.