Fast and compact self-stabilizing verification, computation, and fault detection of an MST (Q498670): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 06:14, 30 January 2024

scientific article
Language Label Description Also known as
English
Fast and compact self-stabilizing verification, computation, and fault detection of an MST
scientific article

    Statements

    Fast and compact self-stabilizing verification, computation, and fault detection of an MST (English)
    0 references
    0 references
    0 references
    0 references
    29 September 2015
    0 references
    distributed network algorithms
    0 references
    locality
    0 references
    proof labels
    0 references
    minimum spanning tree
    0 references
    distributed property verification
    0 references
    self-stabilization
    0 references
    fast fault detection
    0 references
    local fault detection
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references