Rosenfeld, R. Verificación De Programas Distribuidos. Revista Abierta de Informática Aplicada 2024, 7, 51-70.