Gilbert and Lynch: Brewer conjecture feasibility result

What changed

Proved a consistency–availability impossibility under the stated asynchronous partition model.

Scientific scope

The record is the exact two-author 2002 SIGACT News paper. The result is model- and definition-specific and is not the slogan that every system simply chooses any two properties at all times.

Evidence

The linked sources identify this contribution and its scope. WRS has not independently reconstructed the scientific claims. The record is the exact two-author 2002 SIGACT News paper. The result is model- and definition-specific and is not the slogan that every system simply chooses any two properties at all times.

Contributors

• Seth Gilbert · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.
• Nancy Lynch · SCIENCE: Named source author of the scoped work; individual effort shares are not measured.

• University-hosted CAP paper
• CiNii record for Gilbert-Lynch CAP paper

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