Distributed consensus, revisited

DOI10.1007/S00236-007-0052-1MaRDI QIDQ2458442zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Rachele Fuzzati, Massimo Merro, Uwe Nestmann

Publication date 31 October 2007

Published in Acta Informatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00236-007-0052-1

Mathematics Subject Classification ID

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

Recommendations

• Modeling consensus in a process calculus.
• Impossibility of distributed consensus with one faulty process
• Unreliable failure detectors for reliable distributed systems
• A simple and fast asynchronous consensus protocol based on a weak failure detector
• Failure detection and consensus in the crash-recovery model

Cites work

• scientific article; zbMATH DE number 1696684 (Why is no real title available?)
• scientific article; zbMATH DE number 194539 (Why is no real title available?)
• scientific article; zbMATH DE number 794262 (Why is no real title available?)
• A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract)
• Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
• Composition and behaviors of probabilistic I/O automata
• Focus points and convergent process operators: A proof strategy for protocol verification
• Formal verification of a leader election protocol in process algebra
• Forward and backward simulations. I. Untimed Systems
• Impossibility of distributed consensus with one faulty process
• Modeling consensus in a process calculus.
• Revisiting the PAXOS algorithm
• The weakest failure detector for solving consensus
• Unreliable failure detectors for reliable distributed systems

Cited in

(21)

• General resilient consensus algorithms
• Modeling consensus in a process calculus.
• Robust Distributed Consensus Using Total Variation
• Consensus Propagation
• Protocols forcing consensus
• A simple proof of a simple consensus algorithm
• Distributed sequential consensus in networks: analysis of partially connected blockchains with uncertainty
• Formal model-driven design of distributed algorithms
• In search of lost time
• scientific article; zbMATH DE number 7561269 (Why is no real title available?)
• Distributed consensus revisited
• You only live multiple times: a blackbox solution for reusing crash-stop algorithms in realistic crash-recovery settings
• scientific article; zbMATH DE number 1756101 (Why is no real title available?)
• Consensus-Halving: Does It Ever Get Easier?
• Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments
• The deformed consensus protocol
• Distributed Computing
• Model checking Paxos in Spin
• Paxos consensus, deconstructed and abstracted
• Probabilistic consensus via polling and majority rules
• Much ado about nothing?

Describes a project that uses

Uses Software

• UNITY

This page was built for publication: Distributed consensus, revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2458442)