Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).