Distributed termination detection on a ring, due to Shmuel Safra:
Primary LanguageTLAMIT LicenseMIT
No issues in this repository yet.