Revisiting the PAXOS algorithm
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 996442 (Why is no real title available?)
- scientific article; zbMATH DE number 3819094 (Why is no real title available?)
- A theory of clock synchronization (extended abstract)
- Action transducers and timed automata
- Fail-awareness in timed asynchronous systems
- Forward and backward simulations. II: Timing-based systems
- Impossibility of distributed consensus with one faulty process
- Increasing the resilience of distributed and replicated database systems
- On the minimal synchronism needed for distributed consensus
- Reaching Agreement in the Presence of Faults
- Revisiting the PAXOS algorithm
- Specifying and using a partitionable group communication service
- The weakest failure detector for solving consensus
- Unreliable failure detectors for reliable distributed systems
Cited in
(21)- The DHCP Failover Protocol: A Formal Perspective
- scientific article; zbMATH DE number 7295743 (Why is no real title available?)
- On implementing omega in systems with weak reliability and synchrony assumptions
- On the coordinator's rule for Fast Paxos
- \textsc{Rambo}: a robust, reconfigurable atomic memory service for dynamic networks
- scientific article; zbMATH DE number 6905205 (Why is no real title available?)
- Distributed consensus, revisited
- Formal verification of Multi-Paxos for distributed consensus
- Lower bounds for asynchronous consensus
- Stability of long-lived consensus.
- Consensus algorithm based on a new strategy for leader election
- \textsc{Ramos}: concurrent writing and reconfiguration for collaborative systems
- Generalized Paxos made Byzantine (and less complex)
- Formal modeling and verification of Paxos based on Coq
- Revisiting the PAXOS algorithm
- Generalized Paxos made Byzantine (and less complex)
- Paxos consensus, deconstructed and abstracted
- Fast Paxos
- On the correctness of Egalitarian Paxos
- Active disk Paxos with infinitely many processes
- A Paxos based algorithm to minimize the overhead of process recovery in consensus
This page was built for publication: Revisiting the PAXOS algorithm
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1575634)
