Stabilizing leader election in partial synchronous systems with crash failures