Probabilistic verification of Herman's self-stabilisation algorithm (Q1941879): Difference between revisions

@@ Property / cites work @@
+Memory space requirements for self-stabilizing leader election protocols
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Self-stabilizing systems in spite of distributed control
+Normal rank
@@ Property / cites work @@
+Q2782251
@@ Property / cites work: Q2782251 / rank @@
+Normal rank
@@ Property / cites work @@
+Coupling and self-stabilization
@@ Property / cites work: Coupling and self-stabilization / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic self-stabilization
@@ Property / cites work: Probabilistic self-stabilization / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic CEGAR
@@ Property / cites work: Probabilistic CEGAR / rank @@
+Normal rank
@@ Property / cites work @@
+A game-based abstraction-refinement framework for Markov decision processes
+Normal rank
@@ Property / cites work @@
+On Stabilization in Herman’s Algorithm
@@ Property / cites work: On Stabilization in Herman’s Algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Model Checking
@@ Property / cites work: Stochastic Model Checking / rank @@
+Normal rank
@@ Property / cites work @@
+Q4118602
@@ Property / cites work: Q4118602 / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+An elementary proof that Herman's ring is \(\Theta (N^{2})\)
+Normal rank
@@ Property / cites work @@
+On the expected time for Herman's probabilistic self-stabilizing algorithm
+Normal rank