@misc{indiciaebd1b8ce567cb,
  title = {CausalMesh: A Formally Verified Causally Consistent Distributed Cache with Support for Client Migration},
  author = {Haoran Zhang and Zihao Zhang and Shuai Mu and Sebastian Angel and Vincent Liu},
  year = {2026},
  doi = {10.14778/3704965.3704969},
  url = {https://arxiv.org/abs/2508.15647},
  note = {Source identifier: 2508.15647}
}