Code from the paper "Consensus Inside", by Tudor David, Rachid Guerraoui, Maysam Yabandeh. Middleware 2014