A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments

From MaRDI portal
Publication:1274286