Roberto De Prisco, Butler Lampson, Nancy Lynch  Home/Search
Context Related
| mit.edu/tds/papers/DePr...paxostcs.pdf microsoft.com/lamp...evisitingPaxos.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mit.edu/tds/reflist (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The PAXOS algorithm is an e#cient and highly fault-tolerant algorithm, devised by Lamport, for reaching consensus in a distributed system. Although it appears to be practical, it seems to be not widely known or understood. This paper contains a new presentation of the PAXOS algorithm, based on a formal decomposition into several interacting components. It also contains a correctness proof and a time performance and fault-tolerance analysis. The formal framework used for the presentation of the... (Update)
Context of citations to this paper: More
.... and limit cycles, synthesizing controllers for various objectives such as stability and reachability, and formal verification [4, 30, 36]. This latter research on formal verification is most germane to the present proposal. In contrast 10 to model checking for finite...
.... and limit cycles, synthesizing controllers for various objectives such as stability and reachability, and formal verification [30, 35]. This latter research on formal verification is most germane to the present proposal. In contrast to model checking for finite state...
Cited by: More
Verification Tools for Embedded Systems - Clarke, Garlan, Krogh, Simmons.. (Correct)
Formal Verification of Autonomous Systems NASA.. - Clarke, Garlan.. (Correct)
Similar documents (at the sentence level):
53.6%: Revisiting the Paxos algorithm - Roberto De Prisco (Correct)
8.9%: Revisiting the Paxos Algorithm - De Prisco, Lampson, Lynch (1997) (Correct)
Active bibliography (related documents): More All
0.5: GeoQuorums: Implementing Atomic Memory in Mobile.. - Dolev, Gilbert.. (2003) (Correct)
0.3: The Part-Time Parliament - Lamport (2000) (Correct)
0.3: Providing High Availability Using Lazy Replication - Ladin (1992) (Correct)
Similar documents based on text: More All
0.6: How to Build a Highly Available System Using Consensus - Lampson (1996) (Correct)
0.5: Performance Comparison between the Paxos and.. - Hayashibara.. (2002) (Correct)
0.5: Automated Symbolic Timing Analysis for Distributed Systems - Stoller, Unnikrishnan (1999) (Correct)
Related documents from co-citation: More All
3: Automatic Symbolic Verification of Embedded Systems - Alur, Henzinger et al. - 1993
2: Towards a formal treatment of implicit invocation - Dingel, Garlan et al. - 1998
2: Automating Model Checking for Autonomous Systems - Simmons, Pecheur - 2000
BibTeX entry: (Update)
Elsevier Science. Special issue on hybrid systems. Theoretical Computer Science, 138(1), Feb 1995. http://citeseer.ist.psu.edu/article/deprisco00fundamental.html More
@misc{ science95theoretical,
author = "E. Science and i on",
title = "Theoretical Computer Science",
text = "Elsevier Science. Special issue on hybrid systems. Theoretical Computer
Science, 138(1), Feb 1995.",
year = "1995",
url = "citeseer.ist.psu.edu/article/deprisco00fundamental.html" }
Citations (may not include all citations):739 Impossibility of distributed consensus with one faulty proce.. (context) - Fischer, Lynch et al. - 1985
718 Distributed Algorithms (context) - Lynch - 1996
256 Reaching agreement in the presence of faults (context) - Pease, Shostak et al. - 1980
214 Consensus in the presence of partial synchrony - Dwork, Lynch et al. - 1988
175 The weakest failure detector for solving consensus - Chandra, Hadzilacos et al. - 1996
142 Petal: distributed virtual disks - Lee, Thekkath - 1996
121 Nonblocking Commit Protocols (context) - Skeen - 1981
98 Forward and backward simulations -- Part II: Timing-based sy.. - Lynch, Vaandrager - 1993
86 Specifying and using a partitionable group communication ser.. - Fekete, Lynch et al. - 1997
79 A quorum-consensus replication method for abstract data type.. (context) - Herlihy - 1986
78 Forward and backward simulations for timing-based systems - Lynch, Vaandrager - 1992
70 The consensus problem in unreliable distributed systems - Fischer - 1983
66 Replicated distributed programs (context) - Cooper - 1985
57 Maintaining availability in partitioned replicated databases (context) - Abbadi, Toueg - 1986
52 Weighted voting for replicated data - Gi - 1979
45 Failure detectors in omission failure environments - Dolev, Friedman et al. - 1997
33 The timed asynchronous system model - Cristian, Fetzer
31 Viewstamped replication: A new primary copy method to suppor.. (context) - Liskov, Oki - 1988
31 How to build a highly available system using consensus - Lampson - 1996
28 The part-time parliament - Lamport - 1998
22 the minimal synchrony needed for distributed consensus (context) - Dolev, Dwork et al. - 1987
15 Viewstamped replication for highly-available distributed sys.. (context) - Oki - 1988
13 A theory of clock synchronization (context) - Patt-Shamir, Rajsbaum - 1994
11 Revisiting the Paxos algorithm - De Prisco, Lampson et al. - 1997
11 Increasing the resilience of distributed and replicated data.. - Keidar, Dolev - 1995
6 cient message ordering in dynamic networks (context) - Keidar, Dolev - 1996
5 Increasing availability in partitioned database systems (context) - Skeen, Wright - 1984
4 Massachusetts Institute of Technology (context) - Patt-Shamir, of et al. - 1994
4 Unreliable failure detector for asynchronous distributed sys.. - Chandra, Toueg - 1996
3 Technical Memo MIT-LCS-TM (context) - Lynch, Vaandrager et al. - 1994
3 Technical Memo MIT-LCS-TM (context) - Lynch, Tuttle et al.
2 cient fault-tolerant protocol for replicated data management (context) - Abbadi, Skeen et al. - 1985
2 Lecture Notes in Computer Science (context) - Merritt, Modugno et al. - 1991
1 Principle of Computer Systems: Lecture Notes (context) - Lampson, Weihl et al. - 1992
1 Massachusetts Institute of Technology (context) - De Prisco, Paxos et al. - 1997
Documents on the same site (http://www.toc.lcs.mit.edu/tds/reflist.html): More
Proving Performance Properties (even Probabilistic Ones) - Lynch (1994) (Correct)
A Steady State Analysis of Diffracting Trees (Extended Abstract) - Shavit, al. (Correct)
A Process Algebraic View of I/O Automata - Segala (1992) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC