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.
2014
2014
A Performance Study of Consensus Algorithms in Omission and Crash-Recovery Scenarios
We investigate the performance of the ChandraToueg and Paxos consensus algorithms, using as case study TrustedPals, a smartcard… 
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
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
2006
2006
Coordination in Architectural Connection. Reflective and Aspectual Introduction
Coordination is an essential, architecture-level concern, which defines a pattern of behaviour scattered throughout architectural… 
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
Invariants come from templates
We present a template mechanism which allows collective behavior and its invariants to be expressed in an abstract form. The… 
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… 
1999
1999
A Client-Server Approach to Virtually Synchronous Group Multicast : Speci cations , Algorithms , and Proofs
This paper presents a formal design for a novel group multicast service that provides virtually synchronous semantics in… 
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)