Distributed termination detection

}{}
slide: Distributed termination detection