Sergio Mena Xavier Cuvellier Christophe Grégoire André Schiper Appia vs. Cactus: Comparing Protocol Composition Frameworks. 189-198 2003 conf/srds/2003 SRDS http://csdl.computer.org/comp/proceedings/srds/2003/1955/00/19550189abs.htm db/conf/srds/srds2003.html#MenaCGS03