"Semi-formal Development of a Fault-Tolerant Leader Election Protocol in ..."

Thomas Arts, Koen Claessen, Hans Svensson (2004)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics