Consensus Refined

MaRDI QIDQ7361111FDO

Authors Ognjen Marić, Christoph Sprenger

Publication date 18 March 2015

Cites work

• A Reduction Theorem for the Verification of Round-Based Distributed Algorithms
• The Heard-Of model: computing in distributed systems with benign faults

This page was built for software: Consensus Refined