An Automata-Theoretic Approach to the Verification of Distributed Algorithms.

C. Aiswarya, Benedikt Bollig, Paul Gastin

Browse the full CONCUR paper archive.