A constructive proof for FLP

DOI10.1016/J.IPL.2004.06.008zbMath1173.68392OpenAlexW2100506359MaRDI QIDQ834901

Hagen Völzer

Publication date: 27 August 2009

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2004.06.008

zbMATH Keywords

distributed systemsfault tolerancedistributed computingconcurrencyconsensus problemformal modelling

Mathematics Subject Classification ID

Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (1)

Mechanical Verification of a Constructive Proof for FLP

Cites Work

• Impossibility of distributed consensus with one faulty process

This page was built for publication: A constructive proof for FLP