A fully distributed termination detection scheme

From MaRDI portal