Geek Repo
Learning TLA+
Home Page:github.com/tlaplus
Twitter:@lemmster
Github PK Tool:Github PK Tool
Distributed termination detection on a ring, due to Shmuel Safra: