The Heard-Of model: computing in distributed systems with benign faults

DOI10.1007/s00446-009-0084-6zbMath1267.68151OpenAlexW2155037890MaRDI QIDQ2377130

André Schiper, Bernadette Charron-Bost

Publication date: 28 June 2013

Published in: Distributed Computing (Search for Journal in Brave)

Full work available at URL: http://infoscience.epfl.ch/record/159550

zbMATH Keywords

computational model consensus benign fault HO (Heard-Of) model transmission fault

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items

Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker, Derivation of Heard-of Predicates from Elementary Behavioral Patterns, Approximate Consensus in Highly Dynamic Networks: The Role of Averaging Algorithms, Valency-based consensus under message adversaries without limit-closure, Unnamed Item, Fault-tolerant multiparty session types, Synthesis of distributed algorithms with parameterized threshold guards, In search of lost time, The Firing Squad Problem Revisited., Power and limits of distributed computing shared memory models, On the performance of a retransmission-based synchronizer, On the radius of nonsplit graphs and information dissemination in dynamic networks, Asynchronous Byzantine reliable broadcast with a message adversary, Communication pattern logic: epistemic and topological views, Cardinality constraints for arrays (decidability results and applications), Blockchain in dynamic networks, Of choices, failures and asynchrony: the many faces of set agreement, Booting clock synchronization in partially synchronous systems with hybrid process and link failures, Unnamed Item, Continuous Consensus with Failures and Recoveries, Bosco: One-Step Byzantine Asynchronous Consensus, Using Bounded Model Checking to Verify Consensus Algorithms, Verification of consensus algorithms using satisfiability solving, On the impact of link faults on Byzantine agreement, A simple characterization of asynchronous computations, Randomization can be a healer: consensus with dynamic omission failures, Reachability in Parameterized Systems: All Flavors of Threshold Automata, MinMax algorithms for stabilizing consensus, Gracefully degrading consensus and \(k\)-set agreement in directed dynamic networks, Consensus in rooted dynamic networks with short-lived stability, A modular framework for verifying versatile distributed systems, Consensus when all processes may be Byzantine for some time, Synchronous consensus under hybrid process and link failures, Unnamed Item, Unnamed Item, Higher-order quantifier elimination, counter simulations and fault-tolerant systems, Untangling Partial Agreement: Iterated x-consensus Simulations, A topological perspective on distributed network algorithms, Counting Constraints in Flat Array Fragments, Consensus vs. Broadcast in Communication Networks with Arbitrary Mobile Omission Faults, Characterizing Consensus in the Heard-Of Model, Fast Multidimensional Asymptotic and Approximate Consensus, A Reduction Theorem for the Verification of Round-Based Distributed Algorithms, The firing squad problem revisited, Unnamed Item, Back to the Coordinated Attack Problem, A characterization of oblivious message adversaries for which consensus is solvable, Making Byzantine consensus live, Synthesis in presence of dynamic links, A Characterization of Dynamic Networks Where Consensus Is Solvable, Synchronization modulo \(P\) in dynamic networks

Cites Work