Chapar: certified causally consistent distributed key-value stores

© 2016 ACM. Today's Internet services are often expected to stay available and render high responsiveness even in the face of site crashes and network partitions. Theoretical results state that causal consistency is one of the strongest consistency guarantees that is possible under these requir...

Full description

Bibliographic Details
Main Authors: Lesani, Mohsen (Author), Bell, Christian J. (Author), Chlipala, Adam (Author)
Format: Article
Language:English
Published: ACM, 2021-11-08T17:14:02Z.
Subjects:
Online Access:Get fulltext