Cloud Types for Eventual Consistency-Reference-Cited by-同舟云学术

Cloud Types for Eventual Consistency

Published:2012 Issue: Volume: Page:283-307
ISSN:0302-9743
Container-title:ECOOP 2012 – Object-Oriented Programming
language:
Short-container-title:

Author:

Burckhardt Sebastian,Fähndrich Manuel,Leijen Daan,Wood Benjamin P.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-31057-7_14.pdf

Reference17 articles.

1. Lecture Notes in Computer Science;S. Burckhardt,2012

2. Lecture Notes in Computer Science;S. Burckhardt,2011

3. Chen, P.P.-S.: The entity-relationship model toward a unified view of data. ACM Trans. Database Syst. 1, 9–36 (1976)

4. Fekete, A., Liarokapis, D., O’Neil, E., O’Neil, P., Shasha, D.: Making snapshot isolation serializable. ACM Trans. Database Syst. 30(2), 492–528 (2005)

5. Gilbert, S., Lynch, N.: Brewer’s conjecture and the feasibility of consistent, available, partition-tolerant web services. SIGACT News 33, 51–59 (2002)

Cited by 50 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Bridging Between Active Objects: Multitier Programming for Distributed, Concurrent Systems;Lecture Notes in Computer Science;2024

2. Katara: synthesizing CRDTs with verified lifting;Proceedings of the ACM on Programming Languages;2022-10-31

3. Hamband: RDMA replicated data types;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09

4. On Mixing Eventual and Strong Consistency: Acute Cloud Types;IEEE Transactions on Parallel and Distributed Systems;2022-06-01

5. ECROs: building global scale systems from sequential code;Proceedings of the ACM on Programming Languages;2021-10-20