livenessProperty
P59187
predicate
Indicates that something good or desired is guaranteed to eventually occur in the system, no matter how long it may take.
Sample triples (2)
| Subject | Object |
|---|---|
| Paxos consensus algorithm | eventual decision under sufficient synchrony ⓘ |
| FLP impossibility result | every correct process eventually decides ⓘ |