@misc{indiciae7416d682ec5b,
  title = {Parameterized Verification of Asynchronous Round-Based Distributed Algorithms via Reduction to Finite-Counter Systems},
  author = {Nathalie Bertrand and Pranav Ghorpade and Sasha Rubin},
  year = {2026},
  url = {https://arxiv.org/abs/2606.27867},
  note = {Source identifier: 2606.27867}
}