Algebraic Laws for Weak Consistency (Extended Version)

Andrea Cerone, Alexey Gotsman, Hongseok Yang

Modern distributed systems often rely on so called weakly-consistent databases, which achieve scalability by sacrificing the consistency guarantee of distributed transaction proces…