Parameterized synthesis of self-stabilizing protocols in symmetric networks (Q2303887): Difference between revisions

@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / 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/s00236-019-00361-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2911662700
@@ Property / OpenAlex ID: W2911662700 / rank @@
+Normal rank
@@ Property / cites work @@
+Tight Cutoffs for Guarded Protocols with Fairness
@@ Property / cites work: Tight Cutoffs for Guarded Protocols with Fairness / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417935
@@ Property / cites work: Q4417935 / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Weak <i>vs.</i> Self <i>vs.</i> Probabilistic Stabilization
+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 @@
+Synchronous counting and computational algorithm design
+Normal rank
@@ Property / cites work @@
+On the Verification of Livelock-Freedom and Self-Stabilization on Parameterized Rings
+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 @@
+A symbolic algorithm for lazy synthesis of eager strategies
+Normal rank
@@ Property / cites work @@
+Analyzing Guarded Protocols: Better Cutoffs, More Systems, More Expressivity
+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 / cites work @@
+Q4787228
@@ Property / cites work: Q4787228 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q126532396
@@ Property / Wikidata QID: Q126532396 / rank @@
+Normal rank