Waiting Casual Order 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.