Distributed termination detection on a ring, due to Shmuel Safra:
detection
theorem-proving
refinement
safety
model-checking
termination
specs
liveness
tlaplus
distsys
-
Updated
Oct 3, 2023 - TLA