Introducción al modelo CSP de cálculo paralelo
Es presenta el model algebraic CSP (Communicating Sequential Processes) els autors del qual son C.A.R. Hoare i el seu grup. Es mostra com es poden moldejar sistemes paral.lels i expresar formalment propietats. Es resumeixen algunes de les tecniques de verificació i de transformació de procesos desen...
| Autor: | |
|---|---|
| Tipo de recurso: | informe técnico |
| Fecha de publicación: | 1990 |
| País: | España |
| Institución: | Universitat Politècnica de Catalunya (UPC) |
| Repositorio: | UPCommons. Portal del coneixement obert de la UPC |
| Idioma: | español |
| OAI Identifier: | oai:upcommons.upc.edu:2117/191576 |
| Acceso en línea: | https://hdl.handle.net/2117/191576 |
| Access Level: | acceso abierto |
| Palabra clave: | Parallel processing (Electronic computers) Model CSP Càlcul paral.lel Processament en paral·lel (Ordinadors) Àrees temàtiques de la UPC::Informàtica |
| Sumario: | Es presenta el model algebraic CSP (Communicating Sequential Processes) els autors del qual son C.A.R. Hoare i el seu grup. Es mostra com es poden moldejar sistemes paral.lels i expresar formalment propietats. Es resumeixen algunes de les tecniques de verificació i de transformació de procesos desenvolupats per aquest model. |
|---|