Constructive Proof FLP

MaRDI QIDQ40546swMATHFDO

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