TY  - RPRT
TI  - A Revised and Verified Proof of the Scalable Commutativity Rule
AU  - Lillian Tsai
AU  - Eddie Kohler
AU  - M. Frans Kaashoek
AU  - Nickolai Zeldovich
PY  - 2018
UR  - https://arxiv.org/abs/1809.09550
ID  - 1809.09550
ER  -