Author:
Cerone Andrea,Gotsman Alexey,Yang Hongseok
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Abadi, D.: Consistency tradeoffs in modern distributed database system design: CAP is only part of the story. IEEE Computer 45(2) (2012)
2. Adya, A.: Weak consistency: A generalized theory and optimistic implementations for distributed transactions: PhD thesis, MIT (1999)
3. Lecture Notes in Computer Science;Y Afek,2011
4. Alglave, J.: A formal hierarchy of weak memory models. Formal Methods in System Design 41(2) (2012)
5. Attiya, H., Gotsman, A., Hans, S., Rinetzky, N.: A programming language perspective on transactional memory consistency. In: PODC (2013)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Intel PMDK Transactions: Specification, Validation and Concurrency;Lecture Notes in Computer Science;2024
2. Efficiently Supporting Multi-Level Serializability in Decentralized Database Systems;IEEE Transactions on Knowledge and Data Engineering;2023-12-01
3. Robustness Against Read Committed;Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems;2022-06-12
4. What’s Decidable About Causally Consistent Shared Memory?;ACM Transactions on Programming Languages and Systems;2022-04-06
5. Robustness against read committed for transaction templates;Proceedings of the VLDB Endowment;2021-07