A Constraint-Based Formalism for Consistency in Replicated Systems. - Marc Shapiro 001; Karthikeyan Bhargavan; Nishith Krishna (OPODIS, 2004)

Brief announcement: exploring the consistency problem space. - Nishith Krishna; Marc Shapiro 001; Karthikeyan Bhargavan (PODC, 2005)