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