@misc{indiciae215e92df3d71,
  title = {DissProve: Automated Verification of Asynchronous Distributed Protocols with Affine Communication},
  author = {Christian Fontenot and Gowtham Kaki and Bor-Yuh Evan Chang},
  year = {2026},
  url = {https://arxiv.org/abs/2606.24003},
  note = {Source identifier: 2606.24003}
}