Short correctness proofs for two self-stabilizing algorithms under the distributed daemon model (Q1003766): Difference between revisions

@@ Property / cites work @@
+Self-stabilizing systems in spite of distributed control
+Normal rank
@@ Property / cites work @@
+Fault-containing self-stabilizing distributed protocols
+Normal rank
@@ Property / cites work @@
+Q4483914
@@ Property / cites work: Q4483914 / rank @@
+Normal rank
@@ Property / cites work @@
+The alternator
@@ Property / cites work: The alternator / rank @@
+Normal rank
@@ Property / cites work @@
+A self-stabilizing algorithm for the shortest path problem assuming the distributed demon
+Normal rank
@@ 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 DISTRIBUTED ALGORITHM FOR ALL-PAIRS SHORTEST PATH PROBLEM
+Normal rank
@@ Property / cites work @@
+Self-Stabilizing Algorithms for Finding Centers and Medians of Trees
+Normal rank
@@ Property / cites work @@
+A self-stabilizing algorithm for constructing breadth-first trees
+Normal rank
@@ Property / cites work @@
+Self-stabilization of dynamic systems assuming only read/write atomicity
+Normal rank
@@ Property / cites work @@
+A self-stabilizing algorithm for the shortest path problem assuming read/write atomicity
+Normal rank
@@ Property / cites work @@
+An efficient fault-containing self-stabilizing algorithm for the shortest path problem
+Normal rank
@@ Property / cites work @@
+A self-stabilizing algorithm for the shortest path problem in a distributed system
+Normal rank
@@ Property / cites work @@
+A self-stabilizing algorithm for the center-finding problem assuming read/write separate atomicity
+Normal rank
@@ Property / cites work @@
+Q4692391
@@ Property / cites work: Q4692391 / rank @@
+Normal rank