Replicated data types: specification, verification, optimality
<br xmlns:etd="http://www.ouls.ox.ac.uk/ora/modsextensions">Geographically distributed systems often rely on replicated eventually consistent data stores to achieve availability and performance. To resolve conflicting updates at different replicas, researchers and practitioners have...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
Association for Computing Machinery
2014
|