An Evaluation of Efficient Leader Election Algorithms for Crash-Recovery Systems | IEEE Conference Publication | IEEE Xplore