The derivation of graph marking algorithms from distributed termination detection protocols

From MaRDI portal