A Framework for Certified Self-Stabilization (Q2827460): Difference between revisions

@@ Property / cites work @@
+CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates
+Normal rank
@@ Property / cites work @@
+A self-stabilizing algorithm for constructing spanning trees
+Normal rank
@@ Property / cites work @@
+Impossibility of gathering, a certification
@@ Property / cites work: Impossibility of gathering, a certification / rank @@
+Normal rank
@@ Property / cites work @@
+Competitive self-stabilizing \(k\)-clustering
@@ Property / cites work: Competitive self-stabilizing \(k\)-clustering / rank @@
+Normal rank
@@ Property / cites work @@
+Proving termination with multiset orderings
@@ Property / cites work: Proving termination with multiset orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Self-stabilizing systems in spite of distributed control
+Normal rank
@@ Property / cites work @@
+Self-stabilizing depth-first token circulation on networks
+Normal rank
@@ Property / cites work @@
+Formal Verification of Distributed Algorithms
@@ Property / cites work: Formal Verification of Distributed Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+How to write a 21\(^{\text{st}}\) century proof
@@ Property / cites work: How to write a 21\(^{\text{st}}\) century proof / rank @@
+Normal rank