Leader election protocols implementation