Self-stabilization of the alternating-bit protocol | IEEE Conference Publication | IEEE Xplore