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...

Full description

Bibliographic Details
Author: Peña Marí, Ricardo
Format: report
Publication Date:1990
Country:España
Institution:Universitat Politècnica de Catalunya (UPC)
Repository:UPCommons. Portal del coneixement obert de la UPC
Language:Spanish
OAI Identifier:oai:upcommons.upc.edu:2117/191576
Online Access:https://hdl.handle.net/2117/191576
Access Level:Open access
Keyword:Parallel processing (Electronic computers)
Model CSP
Càlcul paral.lel
Processament en paral·lel (Ordinadors)
Àrees temàtiques de la UPC::Informàtica
id ES_b98ae96812e04e7e7456d2cdf45e6780
oai_identifier_str oai:upcommons.upc.edu:2117/191576
network_acronym_str ES
network_name_str España
repository_id_str
spelling Introducción al modelo CSP de cálculo paraleloPeña Marí, RicardoParallel processing (Electronic computers)Model CSPCàlcul paral.lelProcessament en paral·lel (Ordinadors)Àrees temàtiques de la UPC::InformàticaEs 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.19901990-01-0120202020-06-25reporthttp://purl.org/coar/resource_type/c_93fcVoRhttp://purl.org/coar/version/c_970fb48d4fbd8a85info:eu-repo/semantics/reportapplication/pdfhttps://hdl.handle.net/2117/191576reponame:UPCommons. Portal del coneixement obert de la UPCinstname:Universitat Politècnica de Catalunya (UPC)Españolspaopen accesshttp://purl.org/coar/access_right/c_abf2Attribution-NonCommercial-NoDerivs 3.0 Spainhttp://creativecommons.org/licenses/by-nc-nd/3.0/es/info:eu-repo/semantics/openAccessoai:upcommons.upc.edu:2117/1915762026-05-27T15:37:01Z
dc.title.none.fl_str_mv Introducción al modelo CSP de cálculo paralelo
title Introducción al modelo CSP de cálculo paralelo
spellingShingle Introducción al modelo CSP de cálculo paralelo
Peña Marí, Ricardo
Parallel processing (Electronic computers)
Model CSP
Càlcul paral.lel
Processament en paral·lel (Ordinadors)
Àrees temàtiques de la UPC::Informàtica
title_short Introducción al modelo CSP de cálculo paralelo
title_full Introducción al modelo CSP de cálculo paralelo
title_fullStr Introducción al modelo CSP de cálculo paralelo
title_full_unstemmed Introducción al modelo CSP de cálculo paralelo
title_sort Introducción al modelo CSP de cálculo paralelo
dc.creator.none.fl_str_mv Peña Marí, Ricardo
author Peña Marí, Ricardo
author_facet Peña Marí, Ricardo
author_role author
dc.subject.none.fl_str_mv Parallel processing (Electronic computers)
Model CSP
Càlcul paral.lel
Processament en paral·lel (Ordinadors)
Àrees temàtiques de la UPC::Informàtica
topic Parallel processing (Electronic computers)
Model CSP
Càlcul paral.lel
Processament en paral·lel (Ordinadors)
Àrees temàtiques de la UPC::Informàtica
description 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.
publishDate 1990
dc.date.none.fl_str_mv 1990
1990-01-01
2020
2020-06-25
dc.type.none.fl_str_mv report
http://purl.org/coar/resource_type/c_93fc
VoR
http://purl.org/coar/version/c_970fb48d4fbd8a85
dc.type.openaire.fl_str_mv info:eu-repo/semantics/report
format report
dc.identifier.none.fl_str_mv https://hdl.handle.net/2117/191576
url https://hdl.handle.net/2117/191576
dc.language.none.fl_str_mv Español
spa
language_invalid_str_mv Español
language spa
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
Attribution-NonCommercial-NoDerivs 3.0 Spain
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
Attribution-NonCommercial-NoDerivs 3.0 Spain
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:UPCommons. Portal del coneixement obert de la UPC
instname:Universitat Politècnica de Catalunya (UPC)
instname_str Universitat Politècnica de Catalunya (UPC)
reponame_str UPCommons. Portal del coneixement obert de la UPC
collection UPCommons. Portal del coneixement obert de la UPC
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869417781743583232
score 15,300719

Similar Items