@misc{indiciaef00cfe5d47dd,
  title = {Formal Specification for Fast ACS: Low-Latency File-Based Ordered Message Delivery at Scale},
  author = {Sushant Kumar Gupta and Anil Raghunath Iyer and Chang Yu and Neel Bagora and Olivier Pomerleau and Vivek Kumar and Prunthaban Kanthakumar},
  year = {2025},
  url = {https://arxiv.org/abs/2512.04096},
  note = {Source identifier: 2512.04096}
}