Lamport: The Part-Time Parliament and Paxos consensus

What changed

Replicated systems acquired a precise consensus construction with a stated correctness argument.

Scientific scope

1998 paper, first submitted in 1990; core Paxos algorithm, not all subsequent implementation, reconfiguration or tutorial variants.

Evidence

The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is the 1998 published paper, first submitted in 1990. It covers the core Paxos consensus construction, not every later implementation technique, optimization or re-exposition.

Contributors

• Leslie Lamport · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.

• Lamport, The Part-Time Parliament

Provisional WRS assessment, edition 2026-10-16.1. Independent expert calibration is pending. This grade does not certify correctness or assign ownership.

Full scientific record · Browse contribution grades · Request a correction