TLA+ Workshops

Learning TLA+

Pinned Repositories

ewd998
Distributed termination detection on a ring, due to Shmuel Safra:
Language:TLA50 67 1047

TLA+ Workshops's Repositories

tlaplus-workshops/ewd998
Distributed termination detection on a ring, due to Shmuel Safra:
Language:TLA50 67 1047