Algorithm 3
From: Timing analysis of leader-based and decentralized Byzantine consensus algorithms

Leader-based implementation of a WIC round with n>3t (code of process p) [13]
From: Timing analysis of leader-based and decentralized Byzantine consensus algorithms
Leader-based implementation of a WIC round with n>3t (code of process p) [13]