self-stabilizing algorithm; distributed deamon model; minimal k-dominating set; arbitrary network; convergence