Skip to Main content Skip to Navigation
New interface
Reports (Research report)

Evaluation of the CEC (Correct Eventual Consistency) Tool

Sreeja S Nair 1 
1 Regal - Large-Scale Distributed Systems and Applications
LIP6 - Laboratoire d'Informatique de Paris 6, Inria de Paris
Abstract : Preserving invariants while designing distributed applications under weak consistency models is difficult. The CEC (Correct Eventual Consistency Tool) is meant to aid the application designer in this task. This report presents some specifications tried out using the tool and some recommendations for its improvement based on the usage experience.
Document type :
Reports (Research report)
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download
Contributor : Marc Shapiro Connect in order to contact the contributor
Submitted on : Thursday, December 7, 2017 - 1:53:13 PM
Last modification on : Wednesday, October 26, 2022 - 8:14:34 AM
Long-term archiving on: : Thursday, March 8, 2018 - 12:57:05 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License


  • HAL Id : hal-01628719, version 2


Sreeja S Nair. Evaluation of the CEC (Correct Eventual Consistency) Tool. [Research Report] RR-9111, Inria Paris; LIP6 UMR 7606, UPMC Sorbonne Universités, France. 2017, pp.1-27. ⟨hal-01628719v2⟩



Record views


Files downloads