Mena, SergioCuvellier, XavierGrégoire, ChristopheSchiper, André2005-05-202005-05-202005-05-20200310.1109/RELDIS.2003.1238068https://infoscience.epfl.ch/handle/20.500.14299/213661WOS:000186623900019The paper presents and compares Appia and Cactus, two frameworks for protocol composition. The comparison is based on the experience gained in implementing a fault-tolerant Atomic Broadcast service. The paper also gives preliminary performance results, and concludes with a discussion of the most interesting features of the two frameworks, and suggestions for an improved framework.text::conference output::conference proceedings::conference paper