Category:Termination algorithms

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