Verificación formal del algoritmos de distribución de carga para procesamiento de datos independientes

Lenguaje visual para el desarrollo de programas paralelos