Chapar: certified causally consistent distributed key-value stores
From MaRDI portal
Publication:2828279
DOI10.1145/2837614.2837622zbMath1347.68117OpenAlexW2288327952MaRDI QIDQ2828279
Adam Chlipala, Christian J. Bell, Mohsen Lesani
Publication date: 24 October 2016
Published in: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2837614.2837622
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (6)
Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker ⋮ Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems ⋮ Synthesis of distributed algorithms with parameterized threshold guards ⋮ \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms ⋮ Byzantine-tolerant causal broadcast ⋮ Chapar
Uses Software
This page was built for publication: Chapar: certified causally consistent distributed key-value stores
