Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings (Q5091107): Difference between revisions

@@ label / en / label / en @@
+Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings
@@ Property / cites work @@
+Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems
+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 @@
+On Reasoning About Rings
@@ Property / cites work: On Reasoning About Rings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+ASSESS: A Tool for Automated Synthesis of Distributed Self-stabilizing Algorithms
+Normal rank
@@ Property / cites work @@
+Q4603447
@@ Property / cites work: Q4603447 / rank @@
+Normal rank
@@ Property / cites work @@
+Lazy Synthesis
@@ Property / cites work: Lazy Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Parameterized Synthesis
@@ Property / cites work: Parameterized Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Efficient Parameterized Synthesis
@@ Property / cites work: Towards Efficient Parameterized Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+On the Complexity of Adding Convergence
@@ Property / cites work: On the Complexity of Adding Convergence / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of distributed algorithms with parameterized threshold guards
+Normal rank
@@ Property / cites work @@
+A new self-stabilizing maximal matching algorithm
@@ Property / cites work: A new self-stabilizing maximal matching algorithm / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://dblp.uni-trier.de/db/conf/opodis/opodis2018.html#MirzaieFJB18
+Normal rank
@@ Property / OpenAlex ID @@
+W2995194729
@@ Property / OpenAlex ID: W2995194729 / rank @@
+Normal rank
@@ Property / title @@
+Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings (English)
+Normal rank