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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

tlaplus-workshops/ewd998 Stargazers