Constructive Proof FLP

swMATH28832MaRDI QIDQ40546FDOQ40546

Author name not available (Why is that?)

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