%0 Conference Proceedings
%F bertrand:hal-03480241
%A Bertrand, N.
%A Thomas, B.
%A Widder, J.
%T {Guard Automata for the Verification of Safety and Liveness of Distributed Algorithms}
%B {Concur 2021 - International Conference on Concurrency Theory}
%P 1-17
%C Paris, France
%U https://hal.inria.fr/hal-03480241/file/main.pdf
%U http://dx.doi.org/10.4230/LIPIcs.CONCUR.2021.15
%8 August
%D 2021