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

← Older edit

@@ description / en / description / en @@
-scientific article
+scientific article; zbMATH DE number 6816938
@@ Property / zbMATH Open document ID @@
+.68477
@@ Property / zbMATH Open document ID: 1398.68477 / rank @@
+Normal rank
@@ Property / DOI @@
+.23638/LMCS-13(4:14)2017
@@ Property / DOI: 10.23638/LMCS-13(4:14)2017 / rank @@
+Normal rank
@@ Property / publication date @@
+December 2017Timestamp +2017-12-11T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2017-12-11T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 11 December 2017 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6816938
@@ Property / zbMATH DE Number: 6816938 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W4301524813
@@ Property / OpenAlex ID: W4301524813 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.08685
@@ Property / arXiv ID: 1610.08685 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+self-stabilization
@@ Property / zbMATH Keywords: self-stabilization / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+proof assistant
@@ Property / zbMATH Keywords: proof assistant / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Coq
@@ Property / zbMATH Keywords: Coq / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+silent algorithms
@@ Property / zbMATH Keywords: silent algorithms / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+potential functions
@@ Property / zbMATH Keywords: potential functions / rank @@
+Normal rank
@@ 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