TY  - RPRT
TI  - Formal Specification for Fast ACS: Low-Latency File-Based Ordered Message Delivery at Scale
AU  - Sushant Kumar Gupta
AU  - Anil Raghunath Iyer
AU  - Chang Yu
AU  - Neel Bagora
AU  - Olivier Pomerleau
AU  - Vivek Kumar
AU  - Prunthaban Kanthakumar
PY  - 2025
UR  - https://arxiv.org/abs/2512.04096
ID  - 2512.04096
ER  -