The Heard-Of model: computing in distributed systems with benign faults (Q2377130): Difference between revisions

@@ Property / cites work @@
+Tolerating corrupted communication
@@ Property / cites work: Tolerating corrupted communication / rank @@
+Normal rank
@@ Property / cites work @@
+Q4778617
@@ Property / cites work: Q4778617 / rank @@
+Normal rank
@@ Property / cites work @@
+The weakest failure detector for solving consensus
+Normal rank
@@ Property / cites work @@
+Unreliable failure detectors for reliable distributed systems
+Normal rank
@@ Property / cites work @@
+How processes learn
@@ Property / cites work: How processes learn / rank @@
+Normal rank
@@ Property / cites work @@
+In search of lost time
@@ Property / cites work: In search of lost time / rank @@
+Normal rank
@@ Property / cites work @@
+A Reduction Theorem for the Verification of Round-Based Distributed Algorithms
+Normal rank
@@ Property / cites work @@
+Broadcasting in synchronous networks with dynamic faults
+Normal rank
@@ Property / cites work @@
+Computing input multiplicity in anonymous synchronous networks with dynamic faults
+Normal rank
@@ Property / cites work @@
+The Byzantine generals strike again
@@ Property / cites work: The Byzantine generals strike again / rank @@
+Normal rank
@@ Property / cites work @@
+On the minimal synchronism needed for distributed consensus
+Normal rank
@@ Property / cites work @@
+Early stopping in Byzantine agreement
@@ Property / cites work: Early stopping in Byzantine agreement / rank @@
+Normal rank
@@ Property / cites work @@
+Authenticated Algorithms for Byzantine Agreement
@@ Property / cites work: Authenticated Algorithms for Byzantine Agreement / rank @@
+Normal rank
@@ Property / cites work @@
+Decomposition of distributed programs into communication-closed layers
+Normal rank
@@ Property / cites work @@
+A lower bound for the time to assure interactive consistency
+Normal rank
@@ Property / cites work @@
+Impossibility of distributed consensus with one faulty process
+Normal rank
@@ Property / cites work @@
+Broadcasting in a hypercube when some calls fail
@@ Property / cites work: Broadcasting in a hypercube when some calls fail / rank @@
+Normal rank
@@ Property / cites work @@
+Round-by-round fault detectors (extended abstract)
+Normal rank
@@ Property / cites work @@
+Unifying synchronous and asynchronous message-passing models
+Normal rank
@@ Property / cites work @@
+Timeliness, failure-detectors, and consensus performance
+Normal rank
@@ Property / cites work @@
+Fast Paxos
@@ Property / cites work: Fast Paxos / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126969
@@ Property / cites work: Q3126969 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed Computing
@@ Property / cites work: Distributed Computing / rank @@
+Normal rank
@@ Property / cites work @@
+A Layered Analysis of Consensus
@@ Property / cites work: A Layered Analysis of Consensus / rank @@
+Normal rank
@@ Property / cites work @@
+Automatically increasing the fault-tolerance of distributed algorithms
+Normal rank
@@ Property / cites work @@
+Reaching Agreement in the Presence of Faults
@@ Property / cites work: Reaching Agreement in the Presence of Faults / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed agreement in the presence of processor and communication faults
+Normal rank
@@ Property / cites work @@
+Agreement in synchronous networks with ubiquitous faults
+Normal rank
@@ Property / cites work @@
+Structural Information and Communication Complexity
+Normal rank
@@ Property / cites work @@
+Using Bounded Model Checking to Verify Consensus Algorithms
+Normal rank