Funder
China Scholarship Council
Tianhe Supercomputer Project
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference53 articles.
1. Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services;Gilbert;SIGACT News,2002
2. Conflict-Free Replicated Data Types;Shapiro,2011
3. A comprehensive study of convergent and commutative replicated data types;Shapiro,2011
4. Riak DT map: a composable, convergent replicated dictionary;Brown,2014
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Undoing CRDT Operations Automatically;2023 IEEE International Conference on Cloud Computing Technology and Science (CloudCom);2023-12-04
2. Katara: synthesizing CRDTs with verified lifting;Proceedings of the ACM on Programming Languages;2022-10-31
3. On Mixing Eventual and Strong Consistency: Acute Cloud Types;IEEE Transactions on Parallel and Distributed Systems;2022-06-01
4. Logical consistency verification of state sensing in safety‐critical decision: A case study of train routing selection;IET Intelligent Transport Systems;2022-04-21
5. ECROs: building global scale systems from sequential code;Proceedings of the ACM on Programming Languages;2021-10-20