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.
2015
2015
Coracle: Evaluating Consensus at the Internet Edge
Distributed consensus is fundamental in distributed systems for achieving fault-tolerance. The Paxos algorithm has long dominated… 
2012
2012
OSIRIS-SR: A Safety Ring for self-healing distributed composite service execution
The advent of service-oriented architectures has strongly facilitated the development and deployment of large-scale distributed… 
2011
2011
Synthesis of Timing Parameters Satisfying Safety Properties
Safety properties are crucial when verifying real-time concurrent systems. When reasoning parametrically, i.e., with unknown… 
2011
2011
Safety properties and memory bound analysis in a functional language without a garbage collector
In most functional languages, memory management is delegated to the runtime system. There usually exists a garbage collector in… 
2009
2009
Brief Announcement: Vertical Paxos and Primary-Backup Replication
Review
2009
Review
2009
Toward Fault-Tolerant P2P Systems: Constructing a Stable Virtual Peer from Multiple Unstable Peers
P2P systems must handle unexpected peer failure and leaving, and thus it is more difficult to implement than server-client… 
2005
2005
A Reconfigurable System Architecture for Consensus-based Group Communication
Using distributed consensus algorithms is an established way to implement group communication systems with total message ordering… 
2005
2005
Coterie Availability in Sites
In this paper, we explore new failure models for multi-site systems, which are systems characterized by a collection of sites… 
2004
2004
Reflection-Based, Aspect-Oriented Software Architecture
The Software Architecture discipline is devoted to the study and description of structures, created by the composition of… 
2001
2001
Enforcing Safety Properties Using Type Specialization
Type specialization can serve as a powerful tool in enforcing safety properties on foreign code. Using the specification of a… 
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)