TY - RPRT TI - Algebraic Laws for Weak Consistency (Extended Version) AU - Andrea Cerone AU - Alexey Gotsman AU - Hongseok Yang PY - 2017 DO - 10.4230/lipics.concur.2017.22 UR - https://arxiv.org/abs/1702.06028 ID - 1702.06028 ER -