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
CORTES GALICIA, Jorge, MENCHACA GARCIA, Felipe R, MENCHACA MENDEZ, Rolando
Published in Revista Facultad de Ingeniería (01.06.2012)
Get full text
Published in Revista Facultad de Ingeniería (01.06.2012)
Journal Article
LeGESD: Un marco de trabajo para la especificacion y validacion formal de sistemas concurrentes y distribuidos basado en un lenguaje grafico con semantica sustentada en el algebra de procesos/LeGESD: A framework oriented to the specification and formal validation of concurrent and distributed systems based on a graphical language and its process algebra semantics
Galicia, Jorge Cortes, Menchaca Garcia, Felipe R, Mendez, Rolando Menchaca
Published in Revista Facultad de Ingeniería (01.06.2012)
Get full text
Published in Revista Facultad de Ingeniería (01.06.2012)
Journal Article
LeGESD: A framework oriented to the specification and formal validation of concurrent and distributed systems based on a graphical language and its process algebra semantics
Cortés Galicia, Jorge, Menchaca García, Felipe M., Menchaca Méndez, Rolando
Published in Revista Facultad de Ingeniería (01.08.2012)
Published in Revista Facultad de Ingeniería (01.08.2012)
Get full text
Journal Article
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/LeGESD: A framework oriented to the specification and formal validation of concurrent and distributed systems based on a graphical language and its process algebra semantics
Galicia, Jorge Cortés, García, Felipe R Menchaca, Méndez, Rolando Menchaca
Published in Revista Facultad de Ingeniería (01.06.2012)
Get full text
Published in Revista Facultad de Ingeniería (01.06.2012)
Journal Article