redalyc.org
Sistema de Información Científica Redalyc
Red de Revistas Científicas de América Latina y el Caribe, España y Portugal
Comparte la página de este artículo:
English

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

Jorge Cortés Galicia ; Felipe R. Menchaca García ; Rolando Menchaca Méndez ;
Revista Facultad de Ingeniería Universidad de Antioquia 2012, (63)


uaem-pie
Sistema de Información Científica Redalyc
Red de Revistas Científicas de América Latina y el Caribe, España y Portugal
Universidad Autónoma del Estado de México
Versión 2.2 beta | 2015
redalyc@redalyc.org
Pie piepag