Appia vs. Cactus: comparing protocol composition frameworks
S. Mena, X. Cuvellier, C. Grégoire, A. Schiper · 2004
The 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.