/tlsplus-workshop

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

Primary LanguageTLAMIT LicenseMIT

Watchers