distsys
There are 1 repositories under distsys topic.
tlaplus-workshops/ewd998
Distributed termination detection on a ring, due to Shmuel Safra:
There are 1 repositories under distsys topic.
Distributed termination detection on a ring, due to Shmuel Safra: