A tighter bound for the self-stabilization time in Herman's algorithm (Q2444741)

From MaRDI portal
Revision as of 02:36, 21 February 2024 by RedirectionBot (talk | contribs) (‎Removed claim: author (P16): Item:Q764615)
scientific article
Language Label Description Also known as
English
A tighter bound for the self-stabilization time in Herman's algorithm
scientific article

    Statements

    A tighter bound for the self-stabilization time in Herman's algorithm (English)
    0 references
    0 references
    11 April 2014
    0 references
    0 references
    formal methods
    0 references
    self-stabilization algorithm
    0 references
    Herman's algorithm
    0 references
    Markov chains
    0 references