Back to Search
Start Over
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.
- Source :
- Revista Facultad de Ingeniería Universidad de Antioquia; jun2012, Issue 63, p129-140, 12p
- Publication Year :
- 2012
-
Abstract
- <i>Copyright of Revista Facultad de Ingeniería Universidad de Antioquia is the property of Universidad de Antioquia and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
- Subjects :
- ALGORITHMS
DISTRIBUTED computing
SET theory
DESIGN
MACHINE theory
Subjects
Details
- Language :
- Spanish
- ISSN :
- 01206230
- Issue :
- 63
- Database :
- Complementary Index
- Journal :
- Revista Facultad de Ingeniería Universidad de Antioquia
- Publication Type :
- Academic Journal
- Accession number :
- 97260070
- Full Text :
- https://doi.org/10.17533/udea.redin.12492