Constructive Proof FLP

swMATH28832MaRDI QIDQ40546FDOQ40546

Author name not available (Why is that?)

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

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