/ewd998

Distributed termination detection on a ring, due to Shmuel Safra:

Primary LanguageTLAMIT LicenseMIT

Stargazers