TY  - RPRT
TI  - Parameterized Verification of Asynchronous Round-Based Distributed Algorithms via Reduction to Finite-Counter Systems
AU  - Nathalie Bertrand
AU  - Pranav Ghorpade
AU  - Sasha Rubin
PY  - 2026
UR  - https://arxiv.org/abs/2606.27867
ID  - 2606.27867
ER  -