Distributed termination detection on a ring, due to Shmuel Safra:
Primary LanguageTLAMIT LicenseMIT
No one’s star this repository yet.