@misc{indiciae4677fb1c79fa,
  title = {Formalising CXL Cache Coherence},
  author = {Chengsong Tan and Alastair F. Donaldson and John Wickerson},
  year = {2025},
  doi = {10.1145/3676641.3715999},
  url = {https://arxiv.org/abs/2410.15908},
  note = {Source identifier: 2410.15908}
}