Consensus-based Terminating Reliable Broadcast protocol.
Code used in the "Hands-On" sections of the book Introduction to Reliable and Secure Distributed Programming by Christian Cachin, Rachid Guerraoui and Luis Rodrigues.