Distributed termination detection on a ring, due to Shmuel Safra: - View it on GitHub