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

@@ Property / describes a project that uses @@
+CEGAR
@@ Property / describes a project that uses: CEGAR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-012-0227-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2030895696
@@ Property / OpenAlex ID: W2030895696 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:1941879