A self-stabilizing algorithm for constructing breadth-first trees (Q1186586): Difference between revisions

@@ Property / cites work @@
+Token systems that self-stabilize
@@ Property / cites work: Token systems that self-stabilize / rank @@
+Normal rank
@@ Property / cites work @@
+A self-stabilizing algorithm for constructing spanning trees
+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
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0020-0190(92)90264-v
+Normal rank
@@ Property / OpenAlex ID @@
+W2085991314
@@ Property / OpenAlex ID: W2085991314 / rank @@
+Normal rank