distsys topic

List distsys repositories

ewd998

45
Stars
47
Forks
Watchers

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

verified publisher icon tlaplus-workshops