Estos criterios de correccción suelen considerarse bajo la suposición de que todos los nodos que abortan en el sistema lo hacen como consecuencia del algoritmo, es decir, el sistema está libre de aborciones espontáneas.