TLA+ Workshops
Results
1
repositories owned by
TLA+ Workshops
ewd998
50
Stars
47
Forks
Watchers
Distributed termination detection on a ring, due to Shmuel Safra:
