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

by A Fredlund, J F Groote, H Korver
Venue:Theoretical Computer Science