"The Part-Time Parliament"

E105799

"The Part-Time Parliament" is Leslie Lamport’s influential paper that introduces the Paxos consensus algorithm, a foundational concept in distributed systems and fault-tolerant computing.

All labels observed (2)

Label Occurrences
"The Part-Time Parliament" canonical 1
The Part-Time Parliament 1

How this entity was disambiguated

Statements (48)

Predicate Object
instanceOf academic paper ⓘ
computer science paper ⓘ
distributed systems paper ⓘ
assumes asynchronous communication model ⓘ
unreliable communication ⓘ
author Leslie Lamport ⓘ
basedOn metaphor of legislators acting part-time ⓘ
citedAs foundational work in distributed consensus ⓘ
clarifiedBy Paxos Made Simple ⓘ
contribution formalization of Paxos protocol ⓘ
framework for reasoning about distributed consensus ⓘ
proof of correctness for Paxos ⓘ
defines liveness properties of consensus ⓘ
safety properties of consensus ⓘ
describes roles of acceptors in Paxos ⓘ
roles of learners in Paxos ⓘ
roles of proposers in Paxos ⓘ
explains handling of crash failures ⓘ
how to reach agreement despite failures ⓘ
field computer science ⓘ
distributed systems ⓘ
fault-tolerant computing ⓘ
goal achieve consensus among distributed processes ⓘ
hasAlgorithm Paxos ⓘ
hasSection description of the legislative metaphor ⓘ
formal specification of the algorithm ⓘ
proof of correctness ⓘ
hasVersion Paxos Made Simple ⓘ
impact widely cited in distributed systems literature ⓘ
influenced design of fault-tolerant services ⓘ
practical implementations of Paxos in distributed systems ⓘ
research on consensus algorithms ⓘ
introduces Paxos consensus algorithm ⓘ
language English ⓘ
originalDraftDate late 1980s ⓘ
property emphasizes safety over liveness under certain failures ⓘ
publicationType journal article ⓘ
publisher ACM Transactions on Computer Systems ⓘ
relatedTo Byzantine Generals Problem ⓘ
Raft consensus algorithm ⓘ
state machine replication ⓘ
topic asynchronous distributed systems ⓘ
consensus in distributed systems ⓘ
fault tolerance ⓘ
message passing ⓘ
replicated state machines ⓘ
usesMetaphor ancient Greek parliament on the island of Paxos ⓘ
yearPublished 1998 ⓘ

How these facts were elicited

Referenced by (2)

Full triples — surface form annotated when it differs from this entity's canonical label.

Leslie Lamport → notableWork → "The Part-Time Parliament" ⓘ
Paxos consensus algorithm → describedIn → The Part-Time Parliament ⓘ
linked to: "The Part-Time Parliament"