A distributed algorithm for distributed termination

From MaRDI portal
Publication:1098278