Assertion: anytime algorithm | /r/DistinctFrom | contract algorithms
Facets:
Source sentences:
text: They are different from contract algorithms, which must declare a time in advance; in an anytime algorithm, a process can just announce that it is terminating.