Pranav Ramesh Vimala Soundarapandian K. C. Sivaramakrishnan Sal: Multi-modal Verification of Replicated Data Types. 2026 March abs/2603.27202 CoRR https://doi.org/10.48550/arXiv.2603.27202 db/journals/corr/corr2603.html#abs-2603-27202 streams/journals/corr