TLA+ Workshops

github.com/tlaplus

Learning TLA+

Results 1 repositories owned by


TLA+ Workshops

ewd998

45

Stars

47

Forks

Watchers

Distributed termination detection on a ring, due to Shmuel Safra:

tlaplus-workshops