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

Translated title of the contribution: 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

Jorge Cortés Galicia, Felipe R. Menchaca García, Rolando Menchaca Méndez

Research output: Contribution to journal › Article › peer-review

Fingerprint

Dive into the research topics of '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'. Together they form a unique fingerprint.

Engineering & Materials Science