Communication-efficient leader election in crash–recovery systems | Publicación