The co-replication methodology and its application to structured parallel programs
Carlo Bertolli, Massimo Coppola, Corrado Zoccolo · 2007
We introduce Co-Replication, a technique exploiting abstract properties of a computation to allow parallel replicas of a software module to cooperate, enhancing both the reliability and availability of the resulting component, and providing a flexible trade-off among the two properties.