Formal verification of a distributed master election protocol.

Gianluca Cena, Ivan Cibrario Bertolotti, Tingting Hu

Browse the full WFCS paper archive.