Semi-formal development of a fault-tolerant leader election protocol in Erlang (2005)

by T Arts, K Claessen, H Svensson
Venue:In Lecture Notes in Computer Science