Cortés Galicia J, Menchaca García FM, Menchaca Méndez R. LeGESD: Un marco de trabajo para la especificación y validación formal de sistemas concurrentes y distribuidos basado en un lenguaje gráfico con semántica sustentada en el álgebra de procesos. Rev.Fac.Ing.Univ.Antioquia [Internet]. 1 de agosto de 2012 [citado 4 de marzo de 2025];(63):129-40. Disponible en: https://revistas.udea.edu.co/index.php/ingenieria/article/view/12492