Fast and compact self-stabilizing verification, computation, and fault detection of an MST (Q498670): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68M14 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68M15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68Q25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68T15 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 68W15 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6486371 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
distributed network algorithms | |||
Property / zbMATH Keywords: distributed network algorithms / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
locality | |||
Property / zbMATH Keywords: locality / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
proof labels | |||
Property / zbMATH Keywords: proof labels / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
minimum spanning tree | |||
Property / zbMATH Keywords: minimum spanning tree / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
distributed property verification | |||
Property / zbMATH Keywords: distributed property verification / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
self-stabilization | |||
Property / zbMATH Keywords: self-stabilization / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
fast fault detection | |||
Property / zbMATH Keywords: fast fault detection / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
local fault detection | |||
Property / zbMATH Keywords: local fault detection / rank | |||
Normal rank |
Revision as of 00:43, 1 July 2023
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
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