Select algorithms from "Introduction to Reliable and Secure Distributed Programming" by Cachin et al