A transformation of self-stabilizing serial model programs for asynchronous parallel computing environments
scientific article; zbMATH DE number 1238312