tlaplus-workshops / ewd998

Distributed termination detection on a ring, due to Shmuel Safra:
52Updated 7 months ago

Alternatives and similar repositories for ewd998:

Users that are interested in ewd998 are comparing it to the libraries listed below