Parameterized Verification of Asynchronous Round-Based Distributed Algorithms via Reduction to Finite-Counter Systems.

Nathalie Bertrand, Pranav Ghorpade, Sasha Rubin

Browse the full CONCUR paper archive.