Finite termination of asynchronous iterative algorithms

From MaRDI portal