Rosenfeld, R. . Verificación De Programas Paralelos. Revista Abierta de Informática Aplicada 2023, 7 (1), 51-77. https://doi.org/10.59471/raia202357.