Category:Termination algorithms
These are
algorithms
designed for detecting the
termination
of a task.