Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms.

Nathalie Bertrand, Bastien Thomas, Josef Widder

Browse the full CONCUR paper archive.