Constructive Proof FLP

MaRDI QIDQ40546swMATHFDO

Authors Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann

Publication date 18 May 2016

Official website https://www.isa-afp.org/entries/FLP.html

Cites work

• A constructive proof for FLP
• A counter-example to an algorithm for the generalized input--output construct of CSP
• An Effective Implementation for the Generalized Input-Output Construct of CSP
• Impossibility of distributed consensus with one faulty process
• Isabelle. A generic theorem prover

Described by source

• Mechanical Verification of a Constructive Proof for FLP

Cited in

(1)

• Synthesis of distributed algorithms with parameterized threshold guards

This page was built for software: Constructive Proof FLP