TY  - RPRT
TI  - OpSets: Sequential Specifications for Replicated Datatypes (Extended Version)
AU  - Martin Kleppmann
AU  - Victor B. F. Gomes
AU  - Dominic P. Mulligan
AU  - Alastair R. Beresford
PY  - 2018
UR  - https://arxiv.org/abs/1805.04263
ID  - 1805.04263
ER  -