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

From MaRDI portal





scientific article; zbMATH DE number 6282807
Language Label Description Also known as
default for all languages
No label defined
    English
    A tighter bound for the self-stabilization time in Herman's algorithm
    scientific article; zbMATH DE number 6282807

      Statements

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

      Identifiers