On the performance of Dijkstra's third self-stabilizing algorithm for mutual exclusion and related algorithms (Q992514): Difference between revisions

@@ 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/s00446-010-0104-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2109578404
@@ Property / OpenAlex ID: W2109578404 / rank @@
+Normal rank
@@ Property / cites work @@
+On the costs of self-stabilization
@@ Property / cites work: On the costs of self-stabilization / rank @@
+Normal rank
@@ Property / cites work @@
+On the Performance of Beauquier and Debas’ Self-stabilizing Algorithm for Mutual Exclusion
+Normal rank
@@ Property / cites work @@
+Stabilization of general loop-free routing
@@ Property / cites work: Stabilization of general loop-free routing / rank @@
+Normal rank
@@ Property / cites work @@
+Self-stabilizing systems in spite of distributed control
+Normal rank
@@ Property / cites work @@
+A belated proof of self-stabilization
@@ Property / cites work: A belated proof of self-stabilization / rank @@
+Normal rank
@@ Property / cites work @@
+Q2782251
@@ Property / cites work: Q2782251 / rank @@
+Normal rank
@@ Property / cites work @@
+An exercise in proving self-stabilization with a variant function
+Normal rank
@@ Property / cites work @@
+Self-stabilization (in spite of distributed control) in tree-structured systems
+Normal rank
@@ Property / cites work @@
+Q3928248
@@ Property / cites work: Q3928248 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:992514