GitHub repository: tlaplus-workshops/ewd998
Primary language: TLA
Description: Distributed termination detection on a ring, due to Shmuel Safra: