CausalMesh delivers coordination-free causally consistent reads and writes plus read transactions under client migration, with formal Dafny verification and better performance than prior systems.
https://azure.microsoft.com/en-us/products/cosmos-db/
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.DC 1years
2025 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
CausalMesh: A Formally Verified Causally Consistent Distributed Cache with Support for Client Migration
CausalMesh delivers coordination-free causally consistent reads and writes plus read transactions under client migration, with formal Dafny verification and better performance than prior systems.