TY  - RPRT
TI  - CausalMesh: A Formally Verified Causally Consistent Distributed Cache with Support for Client Migration
AU  - Haoran Zhang
AU  - Zihao Zhang
AU  - Shuai Mu
AU  - Sebastian Angel
AU  - Vincent Liu
PY  - 2026
DO  - 10.14778/3704965.3704969
UR  - https://arxiv.org/abs/2508.15647
ID  - 2508.15647
ER  -