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, Bell, Christian J., Chlipala, Adam
Other Authors: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format: Article
Language:English
Published: ACM 2021
Online Access:https://hdl.handle.net/1721.1/137718