Introducción al modelo CSP de cálculo paralelo
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/191576
Tipus de documentReport de recerca
Data publicació1990
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 3.0 Espanya
Abstract
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.
CitacióPeña, R. "Introducción al modelo CSP de cálculo paralelo". 1990.
Forma partLSI-90-4
Col·leccions
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
1400008524.pdf | 1,017Mb | Visualitza/Obre |