A self-stabilizing algorithm for constructing spanning trees (Q1182088): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Token systems that self-stabilize
@@ Property / cites work: Token systems that self-stabilize / rank @@
+Normal rank
@@ Property / cites work @@
+Self-stabilizing systems in spite of distributed control
+Normal rank
@@ Property / cites work @@
+A belated proof of self-stabilization
@@ Property / cites work: A belated proof of self-stabilization / rank @@
+Normal rank
@@ Property / cites work @@
+An exercise in proving self-stabilization with a variant function
+Normal rank
@@ Property / cites work @@
+Self-stabilization (in spite of distributed control) in tree-structured systems
+Normal rank