(1) Antecedentes: La estructuración es importante en la programación paralela para dominar su complejidad, y esta estructuración podría lograrse a través de patrones de programación y esqueletos. La computación de divide y vencerás está definida esencialmente por una relación de recurrencia que vincula la solución de un problema con las soluciones de subproblemas del mismo tipo, pero de tamaños más pequeños. Este patrón permite la especificación de diferentes tipos de computaciones, por lo que es importante proporcionar una especificación general que abarque todos sus casos. Pretendemos demostrar que el patrón de divide y vencerás podría generalizarse de manera que abarque muchos de los otros patrones de programación paralela, y para demostrar esto, proporcionamos una formulación general del mismo.