Optimal Simultaneous Byzantine Agreement, Common Knowledge and Limited Information Exchange

Ron van der Meyden

In order to develop solutions that perform actions as early as possible, analysis of distributed algorithms using epistemic logic has generally concentrated on ``full information p…