1 paper
Isabelle Coget, Étienne Lozes
Reasoning about consistency models for replicated data systems is a challenging task that requires a deep understanding of both the consistency models themselves and a large part o…