A reduction theorem for randomized distributed algorithms under weak adversaries (Q2234073): Difference between revisions

@@ Property / cites work @@
+The correctness proof of Ben-Or's randomized consensus algorithm
+Normal rank
@@ Property / cites work @@
+Randomized protocols for asynchronous consensus
@@ Property / cites work: Randomized protocols for asynchronous consensus / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5875395
@@ Property / cites work: Q5875395 / rank @@
+Normal rank
@@ Property / cites work @@
+On the completeness of verifying message passing programs under bounded asynchrony
+Normal rank
@@ Property / cites work @@
+Asynchronous byzantine agreement protocols
@@ Property / cites work: Asynchronous byzantine agreement protocols / rank @@
+Normal rank
@@ Property / cites work @@
+A Reduction Theorem for the Verification of Round-Based Distributed Algorithms
+Normal rank
@@ Property / cites work @@
+Communication-closed asynchronous protocols
@@ Property / cites work: Communication-closed asynchronous protocols / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposition of distributed programs into communication-closed layers
+Normal rank
@@ Property / cites work @@
+\(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms
+Normal rank
@@ Property / cites work @@
+A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms
+Normal rank
@@ Property / cites work @@
+Q5009435
@@ Property / cites work: Q5009435 / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction
@@ Property / cites work: Reduction / rank @@
+Normal rank
@@ Property / cites work @@
+Randomized \(k\)-set agreement in crash-prone and Byzantine asynchronous systems
+Normal rank
@@ Property / cites work @@
+Bosco: One-Step Byzantine Asynchronous Consensus
@@ Property / cites work: Bosco: One-Step Byzantine Asynchronous Consensus / rank @@
+Normal rank