Cortés Galicia, J., Menchaca García, F. M., & Menchaca Méndez, R. (2012). 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. Revista Facultad De Ingeniería Universidad De Antioquia, (63), 129–140. https://doi.org/10.17533/udea.redin.12492