GitHub repository: lynshi/ewd998
Description: Distributed termination detection on a ring, due to Shmuel Safra: