Defining Liveness¶
Alpern, B., & Schneider, F. B. (1985). Defining Liveness. Information Processing Letters, 21(4), 181-185.
Cited by¶
2 citations across 2 artifacts.
Each citation links to the sentence it supports in the citing article.
Mechanisms¶
- Joint-State Cycle Trace
- It is the mechanism that operationalizes liveness — the formal property that something good eventually happens.
This sourceDefines liveness as the property that something good eventually happens during execution.
- It is the mechanism that operationalizes liveness — the formal property that something good eventually happens.
- Progress Counter Heartbeat
- In formal terms the counter is a liveness probe — "something good eventually happens" — where an is-it-running health check only tests a safety-style "still up."
This sourceDefines liveness properties as requirements that something good eventually happens during execution.
- In formal terms the counter is a liveness probe — "something good eventually happens" — where an is-it-running health check only tests a safety-style "still up."
Verification¶
Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.
Does it back the claim? Not recorded. Neither this nor any other of the 2 citations of this work carries a recorded support check.
Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.
See how references were verified.
Registry ID ref:1ee51f1b59d6 · see in the full table