Synthesis of distributed algorithms with parameterized threshold guards (Q3300835): Difference between revisions

@@ label / en / label / en @@
+Synthesis of distributed algorithms with parameterized threshold guards
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems
+Normal rank
@@ Property / cites work @@
+Decidability of Parameterized Verification
@@ Property / cites work: Decidability of Parameterized Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Unreliable failure detectors for reliable distributed systems
+Normal rank
@@ Property / cites work @@
+The Heard-Of model: computing in distributed systems with benign faults
+Normal rank
@@ Property / cites work @@
+Synchronous counting and computational algorithm design
+Normal rank
@@ Property / cites work @@
+A Logic-Based Framework for Verifying Consensus Algorithms
+Normal rank
@@ Property / cites work @@
+Parameterized Synthesis
@@ Property / cites work: Parameterized Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms
+Normal rank
@@ Property / cites work @@
+SMT and POR beat counter abstraction: parameterized model checking of threshold-based distributed algorithms
+Normal rank
@@ Property / cites work @@
+Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms
+Normal rank
@@ Property / cites work @@
+Chapar: certified causally consistent distributed key-value stores
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Cutoff bounds for consensus algorithms
@@ Property / cites work: Cutoff bounds for consensus algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+Bosco: One-Step Byzantine Asynchronous Consensus
@@ Property / cites work: Bosco: One-Step Byzantine Asynchronous Consensus / rank @@
+Normal rank
@@ Property / cites work @@
+Booting clock synchronization in partially synchronous systems with hybrid process and link failures
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.4230/LIPIcs.OPODIS.2017.32
+Normal rank
@@ Property / OpenAlex ID @@
+W2769487539
@@ Property / OpenAlex ID: W2769487539 / rank @@
+Normal rank
@@ Property / title @@
+Synthesis of distributed algorithms with parameterized threshold guards (English)
+Normal rank