Set of protocols, offering a tutorial on:
The tutorial is used in the "Hands-On" sections of the book Introduction to Reliable and Secure Distributed Programming by Christian Cachin, Rachid Guerraoui and Luis Rodrigues.