Supplementary material for Chapter 15 Coordination and Agreement Supplementary material from Edition 2: Amoeba multicast protocol