Concurrent Asynchronous Byzantine Agreement in Expected-Constant Rounds, Revisited

External Document