slaiyer / ewd998 Goto Github PK
View Code? Open in Web Editor NEWThis project forked from tlaplus-workshops/ewd998
Distributed termination detection on a ring, due to Shmuel Safra:
Home Page: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
License: MIT License