Formal veri cation of a leader election protocol in process algebra (1995)

by L-A Fredlund, J F Groote, H P Korver
Venue:In Andrews et al