ewd998 icon indicating copy to clipboard operation
ewd998 copied to clipboard

Published 20 hours ago • verified publisher icon lemmy
→

Metadata

Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF

Results 1 ewd998 issues
Sort by recently updated
recently updated
newest added

Please report issues at https://github.com/tlaplus-workshops/ewd998

https://github.com/tlaplus-workshops/ewd998

lemmy avatar lemmy

← Metadata

40
Stars
13
Forks
Watchers

Owner

verified publisher icon lemmy

Metadata

Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF

Back