The algorithms for achieving global states and self-stabilization for communication protocols