Solution of the Byzantine Generals problem. Protocol: Phase King. Implemented in: Erlang