On stabilization in Herman's algorithm

Herman's algorithm is a synchronous randomized protocol for achieving self-stabilization in a token ring consisting of N processes. The interaction of tokens makes the dynamics of the protocol very difficult to analyze. In this paper we study the expected time to stabilization in terms of the i...

Full description

Bibliographic Details
Main Authors: Kiefer, S, Murawski, A, Ouaknine, J, Worrell, J, Zhang, L
Format: Journal article
Language:English
Published: 2011