Conference item icon

Conference item

Replicated data types: specification, verification, optimality

Abstract:

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 proposed specialized consistency protocols, called replicated data types, that implement objects such as registers, counters, sets or lists. Reasoning about replicated data types has however not been on par with c... Expand abstract
Publication status:
Published
Peer review status:
Reviewed (other)

Actions


Access Document


Publisher copy:
10.1145/2535838.2535848

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More from this funder
Name:
Engineering and Physical Sciences Research Council
Funding agency for:
Yang, H
More from this funder
Name:
European Union
Funding agency for:
Gotsman, A
Publisher:
Association for Computing Machinery
Host title:
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation
Journal:
POPL '14: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation More from this journal
Pages:
271-284
Publication date:
2014-11-01
Acceptance date:
2013-10-02
DOI:
ISBN:
9781450325448
Pubs id:
pubs:581048
UUID:
uuid:8d98bd40-69ae-4670-86e9-aacc61586602
Local pid:
pubs:581048
Source identifiers:
581048
Deposit date:
2016-01-03

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP