Leader Election (Chang-Roberts algorithm)