Appia vs. Cactus: Comparing Protocol Composition Frameworks. - Sergio Mena; Xavier Cuvellier; Christophe Grégoire; André Schiper (SRDS, 2003)