Logic in Computer Science · Computer Science
On Verifying Causal Consistency
Ahmed Bouajjani, Constantin Enea, Rachid Guerraoui, Jad Hamza
2016-11-16
Distributed, Parallel, and Cluster Computing · Computer Science
Tunable Causal Consistency: Specification and Implementation
Xue Jiang, Hengfeng Wei, Yu Huang
2022-11-08
Databases · Computer Science
Checking Causal Consistency of Distributed Databases
Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea +1
2021-03-01
Distributed, Parallel, and Cluster Computing · Computer Science
Causal Consistency: Beyond Memory
Matthieu Perrin, Achour Mostefaoui, Claude Jard
2016-03-15
Distributed, Parallel, and Cluster Computing · Computer Science
UniStore: A fault-tolerant marriage of causal and strong consistency (extended version)
Manuel Bravo, Alexey Gotsman, Borja de Régil, Hengfeng Wei
2021-07-30
Distributed, Parallel, and Cluster Computing · Computer Science
Using Weaker Consistency Models with Monitoring and Recovery for Improving Performance of Key-Value Stores
Duong Nguyen, Aleksey Charapko, Sandeep S Kulkarni, Murat Demirbas
2019-09-06
Distributed, Parallel, and Cluster Computing · Computer Science
Optimistic Execution in Key-Value Store
Duong Nguyen, Aleksey Charapko, Sandeep Kulkarni, Murat Demirbas
2018-01-24
Distributed, Parallel, and Cluster Computing · Computer Science
Technical Report: Optimistic Execution in Key-Value Store
Duong Nguyen, Aleksey Charapko, Sandeep Kulkarni, Murat Demirbas
2018-06-26
Distributed, Parallel, and Cluster Computing · Computer Science
Eventually Consistent Register Revisited
Marek Zawirski, Carlos Baquero, Annette Bieniusa, Nuno Preguiça +1
2015-11-17
Distributed, Parallel, and Cluster Computing · Computer Science
"Reduction of Monetary Cost in Cloud Storage System by Using Extended Strict Timed Causal Consistency"
Hesam Nejati Sharif Aldin, Mostafa Razavi Ghods, Hossein Deldari
2020-09-08
Distributed, Parallel, and Cluster Computing · Computer Science
Brief Announcement: Update Consistency in Partitionable Systems
Matthieu Perrin, Achour Mostéfaoui, Claude Jard
2015-01-12
Distributed, Parallel, and Cluster Computing · Computer Science
Benefit of Self-Stabilizing Protocols in Eventually Consistent Key-Value Stores: A Case Study
Duong Nguyen, Sandeep S. Kulkarni, Ajoy K. Datta
2018-11-09
Distributed, Parallel, and Cluster Computing · Computer Science
Benefits of Stabilization versus Rollback in Eventually Consistent Key-Value Stores
Duong Nguyen, Sandeep S. Kulkarni
2019-10-21
Distributed, Parallel, and Cluster Computing · Computer Science
Global Stabilization for Causally Consistent Partial Replication
Zhuolun Xiang, Nitin H. Vaidya
2019-05-07
Distributed, Parallel, and Cluster Computing · Computer Science
Extending Causal Consistency to any Object Defined by a Sequential Specification
Achour Mostéfaoui, Matthieu Perrin, Michel Raynal
2018-02-05
Distributed, Parallel, and Cluster Computing · Computer Science
Partially Replicated Causally Consistent Shared Memory: Lower Bounds and An Algorithm
Zhuolun Xiang, Nitin H. Vaidya
2019-05-30
Distributed, Parallel, and Cluster Computing · Computer Science
Optimal Record and Replay under Causal Consistency
Russell L. Jones, Muhammad S. Khan, Nitin H. Vaidya
2018-10-31
Artificial Intelligence · Computer Science
The WHY in Business Processes: Unification of Causal Process Models
Yuval David, Fabiana Fournier, Lior Limonad, Inna Skarbovsky
2025-05-30
Distributed, Parallel, and Cluster Computing · Computer Science
Update Consistency for Wait-free Concurrent Objects
Matthieu Perrin, Achour Mostefaoui, Claude Jard
2015-01-12