TY  - RPRT
TI  - Verifying the Consistency of Remote Untrusted Services with Conflict-Free Operations
AU  - Christian Cachin
AU  - Olga Ohrimenko
PY  - 2018
DO  - 10.1007/978-3-319-14472-6_1
UR  - https://arxiv.org/abs/1302.4808
ID  - 1302.4808
ER  -