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.
An open-source benchmark suite for microser- vices and their hardware-software implications for cloud & edge systems
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.