Parameterized Verification of Round-Based Distributed Algorithms via Extended Threshold Automata.

Tom Baumeister, Paul Eichler, Swen Jacobs, Mouhammad Sakr, Marcus Vlp

Browse the full FM paper archive.