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