ewd998
ewd998 copied to clipboard
Published
20 hours ago •
tlaplus-workshops
tlaplus-workshops
Distributed termination detection on a ring, due to Shmuel Safra:
Results
11
ewd998 issues
Sort by
recently updated
recently updated
newest added
[](https://www.youtube.com/watch?v=btikdh4xZQ0 "Online histogram for variable counter") ```diff diff --git a/MCEWD998.cfg b/MCEWD998.cfg index d998f17..75f0f3d 100644 --- a/MCEWD998.cfg +++ b/MCEWD998.cfg @@ -1,6 +1,9 @@ CONSTANT N = 3...
enhancement
Metadata
45
Stars
47
Forks
Watchers
Owner
Metadata
Distributed termination detection on a ring, due to Shmuel Safra: