Skip to search formSkip to main contentSkip to account menu

Paxos (computer science)

Known as: Paxos (disambiguation), Paxos protocol, Paxos distributed consensus algorithm 
Paxos is a family of protocols for solving consensus in a network of unreliable processors.Consensus is the process of agreeing on one result among a… 
Wikipedia (opens in a new tab)

Related topics

Related topics

28 relations
Amazon Web ServicesApache CassandraBitcoinByzantine fault tolerance

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Efficient verification of multi-property designs (The benefit of wrong assumptions)
We consider the problem of efficiently checking a set of safety properties Ρ<inf>1</inf>,…,Ρ<inf>k</inf> of one design. We… 
Highly Cited
2015
Highly Cited
2015
Raft Refloated: Do We Have Consensus?
The Paxos algorithm is famously difficult to reason about and even more so to implement, despite having been synonymous with… 
2012
2012
Model checking of linear-time properties in multi-valued systems
2012
2012
The Logic of Events, a framework to reason about distributed systems
We present a logical framework to reason about distributed systems called the Logic of Events. This logic has been formalized in… 
2011
2011
JPaxos: State machine replication based on the Paxos protocol
State machine replication is a technique for making services fault-tolerant by replicating them over a group of machines… 
2010
2010
Stateful Contracts for Affine Types
Affine type systems manage resources by preventing some values from being used more than once. This offers expressiveness and… 
Highly Cited
2005
Highly Cited
2005
Etna: A Fault-tolerant Algorithm for Atomic Mutable DHT Data
This paper presents Etna, an algorithm for atomic reads and writes of replicated data stored in a distributed hash table. Etna… 
Highly Cited
2004
Highly Cited
2004
Symbolic parametric safety analysis of linear hybrid systems with BDD-like data-structures
We introduce a new BDD-like data structure called hybrid-restriction diagrams (HRDs) for the representation and manipulation of… 
2004
2004
Performance comparison of a rotating coordinator and a leader based consensus algorithm
Protocols that solve agreement problems are essential building blocks for fault tolerant distributed systems. While many… 
Highly Cited
1994
Highly Cited
1994
The negotiating agents approach to runtime feature interaction resolution
This article describes how to use the Negotiating Agents approach on a telecommunications platform. Negotiation is used in this… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)