TY  - RPRT
TI  - Verifying Strong Eventual Consistency in Distributed Systems
AU  - Victor B. F. Gomes
AU  - Martin Kleppmann
AU  - Dominic P. Mulligan
AU  - Alastair R. Beresford
PY  - 2017
DO  - 10.1145/3133933
UR  - https://arxiv.org/abs/1707.01747
ID  - 1707.01747
ER  -