|
| Cortés Galicia, Jorge, Menchaca García, Felipe R. and Menchaca Méndez, Rolando 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, Jun 2012, no.63, p.129-140. ISSN 0120-6230
|
|