{"id":"https://openalex.org/W2107574843","doi":"https://doi.org/10.4995/thesis/10251/31651","title":"Analysis Techniques for Concurrent Programming Languages","display_name":"Analysis Techniques for Concurrent Programming Languages","publication_year":2013,"publication_date":"2013-07-23","ids":{"openalex":"https://openalex.org/W2107574843","doi":"https://doi.org/10.4995/thesis/10251/31651","mag":"2107574843"},"language":"en","primary_location":{"id":"doi:10.4995/thesis/10251/31651","doi":"https://doi.org/10.4995/thesis/10251/31651","is_oa":true,"landing_page_url":"https://doi.org/10.4995/thesis/10251/31651","pdf_url":"https://riunet.upv.es/bitstream/10251/31651/1/final-thesis.pdf","source":{"id":"https://openalex.org/S4306400639","display_name":"RiuNet (Universitat Polit\u00e8cnica de Val\u00e8ncia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I60053951","host_organization_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","host_organization_lineage":["https://openalex.org/I60053951"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","raw_type":"dissertation"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://riunet.upv.es/bitstream/10251/31651/1/final-thesis.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016645788","display_name":"Salvador Tamarit","orcid":"https://orcid.org/0000-0001-5103-4153","observed_orcids":["https://orcid.org/0000-0001-5103-4153"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Salvador Tamarit Mu\u00f1oz","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5016645788"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.0007999999797903001,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.0003000000142492354,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/concurrent-programming-languages","display_name":"concurrent programming languages","score":0.9860000014305115},{"id":"https://openalex.org/keywords/program-analysis","display_name":"program analysis","score":0.7440000176429749},{"id":"https://openalex.org/keywords/static-analysis","display_name":"static analysis","score":0.9229999780654907},{"id":"https://openalex.org/keywords/dynamic-analysis","display_name":"dynamic analysis","score":0.9850000143051147},{"id":"https://openalex.org/keywords/formal-correctness-proof","display_name":"formal correctness proof","score":0.5389999747276306},{"id":"https://openalex.org/keywords/concurrent-program-verification","display_name":"concurrent program verification","score":0.4569999873638153},{"id":"https://openalex.org/keywords/critical-systems","display_name":"critical systems","score":0.46000000834465027},{"id":"https://openalex.org/keywords/analytical-tools","display_name":"analytical tools","score":0.5490000247955322},{"id":"https://openalex.org/keywords/program-simplification","display_name":"program simplification","score":0.9539999961853027},{"id":"https://openalex.org/keywords/program-optimization","display_name":"program optimization","score":0.9139999747276306},{"id":"https://openalex.org/keywords/software-testing","display_name":"software testing","score":0.7630000114440918},{"id":"https://openalex.org/keywords/debugging","display_name":"debugging","score":0.8759999871253967}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8147909641265869},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6836812496185303},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.6789637804031372},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5759434700012207},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5091139674186707},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4722796380519867},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.44964468479156494},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3205057382583618},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.16105487942695618},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.09221124649047852},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.4995/thesis/10251/31651","doi":"https://doi.org/10.4995/thesis/10251/31651","is_oa":true,"landing_page_url":"https://doi.org/10.4995/thesis/10251/31651","pdf_url":"https://riunet.upv.es/bitstream/10251/31651/1/final-thesis.pdf","source":{"id":"https://openalex.org/S4306400639","display_name":"RiuNet (Universitat Polit\u00e8cnica de Val\u00e8ncia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I60053951","host_organization_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","host_organization_lineage":["https://openalex.org/I60053951"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","raw_type":"dissertation"},{"id":"pmh:oai:riunet.upv.es:10251/31651","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/10251/31651","pdf_url":null,"source":{"id":"https://openalex.org/S4306400639","display_name":"RiuNet (Universitat Polit\u00e8cnica de Val\u00e8ncia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I60053951","host_organization_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","host_organization_lineage":["https://openalex.org/I60053951"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Riunet","raw_type":"info:eu-repo/semantics/doctoralThesis"},{"id":"pmh:oai:www.tdx.cat:10251/31651","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/10251/31651","pdf_url":null,"source":{"id":"https://openalex.org/S4306401111","display_name":"Tesis Doctorals en Xarxa (Consorci de Serveis Universitaris de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4210090028","host_organization_name":"Consorci de Serveis Universitaris de Catalunya","host_organization_lineage":["https://openalex.org/I4210090028"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Riunet","raw_type":"info:eu-repo/semantics/doctoralThesis"}],"best_oa_location":{"id":"doi:10.4995/thesis/10251/31651","doi":"https://doi.org/10.4995/thesis/10251/31651","is_oa":true,"landing_page_url":"https://doi.org/10.4995/thesis/10251/31651","pdf_url":"https://riunet.upv.es/bitstream/10251/31651/1/final-thesis.pdf","source":{"id":"https://openalex.org/S4306400639","display_name":"RiuNet (Universitat Polit\u00e8cnica de Val\u00e8ncia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I60053951","host_organization_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","host_organization_lineage":["https://openalex.org/I60053951"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Universitat Polit\u00e8cnica de Val\u00e8ncia","raw_type":"dissertation"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2107574843.pdf","grobid_xml":"https://content.openalex.org/works/W2107574843.grobid-xml"},"referenced_works_count":101,"referenced_works":["https://openalex.org/W18108774","https://openalex.org/W55404536","https://openalex.org/W103510418","https://openalex.org/W108755144","https://openalex.org/W183046295","https://openalex.org/W196030931","https://openalex.org/W249176535","https://openalex.org/W303139982","https://openalex.org/W313326426","https://openalex.org/W1483447793","https://openalex.org/W1484709164","https://openalex.org/W1495226832","https://openalex.org/W1496993747","https://openalex.org/W1498914187","https://openalex.org/W1512687743","https://openalex.org/W1516632679","https://openalex.org/W1520096217","https://openalex.org/W1532163655","https://openalex.org/W1536228300","https://openalex.org/W1551214605","https://openalex.org/W1561267729","https://openalex.org/W1565387027","https://openalex.org/W1571812885","https://openalex.org/W1575308494","https://openalex.org/W1579848413","https://openalex.org/W1584322803","https://openalex.org/W1585042602","https://openalex.org/W1586696879","https://openalex.org/W1588663335","https://openalex.org/W1602327999","https://openalex.org/W1702401680","https://openalex.org/W1743041603","https://openalex.org/W1768003599","https://openalex.org/W1967330623","https://openalex.org/W1969454562","https://openalex.org/W1994188141","https://openalex.org/W1996109622","https://openalex.org/W1996887001","https://openalex.org/W2002089154","https://openalex.org/W2004618348","https://openalex.org/W2008860182","https://openalex.org/W2016449454","https://openalex.org/W2018601806","https://openalex.org/W2019091418","https://openalex.org/W2021089599","https://openalex.org/W2031111226","https://openalex.org/W2045641329","https://openalex.org/W2047636717","https://openalex.org/W2048192672","https://openalex.org/W2056325302","https://openalex.org/W2067776455","https://openalex.org/W2071162854","https://openalex.org/W2072794470","https://openalex.org/W2079083905","https://openalex.org/W2085134931","https://openalex.org/W2085563181","https://openalex.org/W2086567499","https://openalex.org/W2093785381","https://openalex.org/W2107012521","https://openalex.org/W2110425399","https://openalex.org/W2116352900","https://openalex.org/W2119562796","https://openalex.org/W2120926795","https://openalex.org/W2121372686","https://openalex.org/W2123406906","https://openalex.org/W2126571099","https://openalex.org/W2128932399","https://openalex.org/W2129384397","https://openalex.org/W2137865376","https://openalex.org/W2142094035","https://openalex.org/W2144344516","https://openalex.org/W2151830023","https://openalex.org/W2153842012","https://openalex.org/W2158027862","https://openalex.org/W2164989576","https://openalex.org/W2170509118","https://openalex.org/W2170886957","https://openalex.org/W2293624369","https://openalex.org/W2299193549","https://openalex.org/W2338545571","https://openalex.org/W2528072640","https://openalex.org/W2571119887","https://openalex.org/W2589217375","https://openalex.org/W2891255201","https://openalex.org/W2912003593","https://openalex.org/W2913459036","https://openalex.org/W2963178210","https://openalex.org/W3023118559","https://openalex.org/W3141122010","https://openalex.org/W3144368627","https://openalex.org/W3182170540","https://openalex.org/W4235389451","https://openalex.org/W4237497488","https://openalex.org/W4242566119","https://openalex.org/W4246840308","https://openalex.org/W4249740001","https://openalex.org/W4251061013","https://openalex.org/W4285719527","https://openalex.org/W6684644128","https://openalex.org/W6754028194","https://openalex.org/W7064420793"],"related_works":["https://openalex.org/W1971448472","https://openalex.org/W1495744068","https://openalex.org/W589454760","https://openalex.org/W29576922","https://openalex.org/W7098953383","https://openalex.org/W993391531","https://openalex.org/W2899993199","https://openalex.org/W1556720137","https://openalex.org/W2754652125","https://openalex.org/W2470374731"],"abstract_inverted_index":{"Concurrent":[0],"languages":[1,293],"are":[2,100,313],"increasingly":[3],"present":[4],"in":[5,9,13,37,72,77,244,268,320],"our":[6],"society,":[7],"both":[8,139],"new":[10],"technologies":[11],"and":[12,26,132,145,189,246,272],"the":[14,22,38,43,49,56,126,129,181,197,201,220,225,230,236,249,256,289,295,317],"systems":[15,24,60,209],"used":[16,102,172],"on":[17],"a":[18,78,148,166,177,217,232,278,305,381,450,464,631,643,678,721,763,787,800,810,855,955,960,967,969,981],"daily":[19],"basis.Moreover,":[20],"given":[21],"current":[23,270],"distribution":[25],"their":[27,190],"internal":[28],"architecture,":[29],"one":[30,86],"can":[31,87,122,170,265],"expect":[32],"that":[33,67,70,121,196,223,264,312],"this":[34,41,73,108,303,321],"remains":[35],"so":[36,66],"coming":[39],"years.In":[40],"context,":[42,715],"development":[44,131],"of":[45,51,58,97,107,128,176,219,294],"tools":[46,89,222],"to":[47,64,111,124,160,173,241,247,291,302],"support":[48],"implementation":[50],"concurrent":[52,59,115,135,178],"programs":[53],"becomes":[54],"essential.Futhermore,":[55],"behavior":[57],"is":[61,110,205],"particularly":[62],"difficult":[63],"analyse,":[65],"any":[68],"tool":[69],"helps":[71],"task,":[74],"even":[75],"if":[76],"limited":[79],"way,":[80],"will":[81,199],"be":[82,161,171,266],"very":[83],"useful.For":[84],"example,":[85],"find":[88],"for":[90,134,207,212,281,288],"debugging,":[91],"analysis,":[92,284],"testing,":[93],"optimisation,":[94],"or":[95],"simplification":[96],"programs,":[98],"which":[99,204],"widely":[101],"by":[103,261,308],"programmers":[104],"nowadays.The":[105],"purpose":[106],"thesis":[109,137],"introduce,":[112],"through":[113],"various":[114],"programming":[116,179],"languages,":[117],"some":[118,208,309],"analysis":[119],"techniques":[120],"help":[123],"improve":[125],"experience":[127],"software":[130,221,473,568,808,903],"release":[133],"models.This":[136],"introduces":[138],"static":[140],"(approximating":[141],"all":[142],"possible":[143],"executions)":[144],"dynamic":[146],"(considering":[147],"specific":[149],"execution)":[150],"analysis.The":[151],"topics":[152],"considered":[153],"here":[154,184,258],"differ":[155],"enough":[156],"from":[157,316],"each":[158],"other":[159,282,292],"fully":[162],"independent.Nevertheless,":[163],"they":[164,169,275],"have":[165,185,192,200],"common":[167],"link:":[168],"analyse":[174],"properties":[175],"language.All":[180],"analyses":[182,251],"presented":[183,259],"been":[186,193],"formally":[187],"defined":[188],"correctness":[191],"proved,":[194],"ensuring":[195],"results":[198,318],"reliability":[202],"degree":[203],"needed":[206],"(for":[210],"instance,":[211],"critical":[213],"systems).It":[214],"also":[215],"includes":[216],"description":[218],"implement":[224],"different":[226,250],"ideas":[227,257,506,573,600],"proposed.This":[228],"gives":[229,298],"work":[231],"usefulness":[233],"well":[234,286],"beyond":[235],"theoretical":[237],"aspect,":[238],"allowing":[239],"us":[240],"put":[242],"it":[243],"practice":[245],"test":[248],"with":[252],"real-world":[253],"examples.v":[254],"All":[255],"are,":[260],"themselves,":[262],"approaches":[263],"applied":[267],"many":[269],"contexts":[271],"problems.Moreover,":[273],"individually":[274],"serve":[276],"as":[277,285,287],"starting":[279],"point":[280],"derived":[283],"adaptation":[290],"same":[296],"family.This":[297],"an":[299],"added":[300],"value":[301],"work,":[304],"fact":[306],"confirmed":[307],"later":[310],"works":[311],"already":[314],"benefiting":[315],"obtained":[319],"thesis.vi":[322],"Resumen":[323],"Los":[324],"lenguajes":[325,454,633],"concurrentes":[326,386,395],"est\u00e1n":[327,655],"cada":[328,669],"d\u00eda":[329],"m\u00e1s":[330,581],"presentes":[331],"en":[332,336,341,369,408,442,494,550,558,588,609,661,673,683,710,746,780,829,885,893,923,944,997],"nuestra":[333],"sociedad,":[334],"tanto":[335,481],"las":[337,486,566,571,599],"nuevas":[338],"tecnolog\u00edas":[339],"como":[340,489,555,627,646],"los":[342,354,370,393,439,526,541,595,658],"sistemas":[343,355,394,551,559],"utilizados":[344],"de":[345,353,377,379,384,392,399,416,431,433,445,452,455,459,472,516,523,547,565,611,618,620,634,657,687,719,724,755,771,789,792,807,850,858,882,900,946,957,972],"manera":[346,688],"cotidiana.M\u00e1s":[347],"a\u00fan,":[348],"dada":[349],"la":[350,382,424,466,563,629,635,674,697,722,764,871,898,973],"actual":[351],"distribuci\u00f3n":[352],"y":[356,470,533,590,613],"su":[357,537],"arquitectura":[358,699],"interna,":[359,700],"cabe":[360],"esperar":[361,702],"que":[362,403,406,461,540,552,569,652,703,741,744,751,797,875,887,904,990],"este":[363,373,644],"hecho":[364,515],"siga":[365],"siendo":[366],"una":[367,492,579,708,827,914],"realidad":[368],"pr\u00f3ximos":[371],"a\u00f1os.En":[372],"contexto,":[374],"el":[375,390,514,545,716,731,848,880],"desarrollo":[376,469],"herramientas":[378,422,567],"apoyo":[380],"implementaci\u00f3n":[383],"programas":[385],"se":[387,479,534,561,654],"vuelve":[388],"esencial.Adem\u00e1s,":[389],"comportamiento":[391],"es":[396,448,727],"especialmente":[397],"dif\u00edcil":[398,738],"analizar,":[400],"por":[401,438,556,604],"lo":[402,500,553],"cualquier":[404],"herramienta":[405],"ayude":[407],"esta":[409,446,477,662],"tarea,":[410],"a\u00fan":[411],"cuando":[412],"sea":[413],"limitada,":[414,753],"ser\u00e1":[415],"gran":[417,756],"utilidad.Por":[418],"ejemplo,":[419,557],"podemos":[420],"encontrar":[421],"para":[423,474,504,520,622,628],"depuraci\u00f3n,":[425],"an\u00e1lisis,":[426],"comprobaci\u00f3n,":[427],"optimizaci\u00f3n,":[428],"o":[429,769],"simplificaci\u00f3n":[430],"programas.Muchas":[432],"ellas":[434],"son":[435],"ampliamente":[436],"utilizadas":[437],"programadores":[440],"hoy":[441],"d\u00eda.El":[443],"prop\u00f3sito":[444],"tesis":[447,478],"introducir,":[449],"trav\u00e9s":[451,788],"diferentes":[453,572,596],"programaci\u00f3n":[456,524],"concurrentes,":[457],"t\u00e9cnicas":[458],"an\u00e1lisis":[460,482,519,527,624],"puedan":[462],"ayudar":[463],"mejorar":[465],"experiencia":[467],"del":[468,583,803,918],"publicaci\u00f3n":[471],"modelos":[475],"concurrentes.En":[476],"introducen":[480],"est\u00e1ticos":[483],"(aproximando":[484],"todas":[485],"posibles":[487],"ejecuciones)":[488],"din\u00e1micos":[490],"(considerando":[491],"ejecuci\u00f3n":[493],"concreto).Los":[495],"trabajos":[496,650],"aqu\u00ed":[497,601,832,936],"propuestos":[498],"difieren":[499],"suficiente":[501],"entre":[502,836],"s\u00ed":[503,605],"constituir":[505,839],"totalmente":[507],"independientes,":[508],"pero":[509],"manteniendo":[510],"un":[511,518,521,640,845,852,856,978],"nexo":[512],"com\u00fan:":[513],"ser":[517,851],"lenguaje":[522],"concurrente.Todos":[525],"presentados":[528],"han":[529,864],"sido":[530],"definidos":[531],"formalmente":[532],"ha":[535],"probado":[536],"correcci\u00f3n,":[538],"asegurando":[539],"resultados":[542,659],"obtenidos":[543,660],"tendr\u00e1n":[544],"grado":[546],"fiabilidad":[548],"necesario":[549],"requieran,":[554],"cr\u00edticos.Adem\u00e1s,":[560],"incluye":[562],"descripci\u00f3n":[564],"implementan":[570],"propuestas.Esto":[574],"le":[575,638],"da":[576,639],"al":[577,912],"trabajo":[578],"utilidad":[580],"all\u00e1":[582],"marco":[584],"te\u00f3rico,":[585],"permitiendo":[586],"poner":[587],"pr\u00e1ctica":[589],"probar":[591],"con":[592],"ejemplos":[593],"reales":[594],"an\u00e1lisis.vii":[597],"Todas":[598],"presentadas":[602],"constituyen,":[603],"mismas,":[606],"propuestas":[607],"aplicables":[608,943],"multitud":[610,945],"contextos":[612,947],"problemas":[614],"actuales.Adem\u00e1s,":[615],"individualmente":[616],"sirven":[617],"punto":[619],"partida":[621,958],"otros":[623,632],"derivados,":[625],"as\u00ed":[626],"adaptaci\u00f3n":[630],"misma":[636],"familia.Esto":[637],"valor":[641,979],"a\u00f1adido":[642],"trabajo,":[645],"bien":[647],"atestiguan":[648],"algunos":[649],"posteriores":[651],"ya":[653],"beneficiando":[656],"tesis.viii":[663],"Resum":[664],"Els":[665],"llenguatges":[666,791,971],"concurrents":[667,726,735],"estan":[668],"dia":[670],"m\u00e9s":[671,916],"presents":[672],"nostra":[675],"societat,":[676],"tant":[677,816],"les":[679,821,901,906,934],"noves":[680],"tecnologies":[681],"com":[682,824,890,954,965,984],"els":[684,711,861,876,930],"sistemes":[685,695,734,886,894],"utilitzats":[686],"quotidiana.Encara":[689],"m\u00e9s,":[690,730,896,951],"donada":[691],"l'actual":[692],"distribuci\u00f3":[693],"dels":[694,733,994],"i":[696,750,805,868,925,948],"seva":[698,872],"cal":[701],"aquest":[704,714,982],"fet":[705,849],"segueixi":[706],"sent":[707],"realitat":[709],"propers":[712],"anys.En":[713],"desenvolupament":[717,804],"d'eines":[718],"suport":[720],"implementaci\u00f3":[723],"programes":[725],"torna":[728],"essencial.A":[729],"comportament":[732],"\u00e9s":[736,785],"especialment":[737],"d'analitzar,":[739],"pel":[740],"qualsevol":[742],"eina":[743],"ajudi":[745],"aquesta":[747,813,998],"tasca,":[748],"tot":[749],"sigui":[752],"ser\u00e0":[754],"utilitat.Per":[757],"exemple,":[758,892],"podem":[759],"trobar":[760],"eines":[761,902],"per":[762,809,838,854,891,939,959,966],"depuraci\u00f3,":[765],"an\u00e0lisi,":[766],"comprovaci\u00f3,":[767],"optimitzaci\u00f3,":[768],"simplificaci\u00f3":[770],"programes.Moltes":[772],"d'elles":[773],"s\u00f3n":[774],"\u00e0mpliament":[775],"utilitzades":[776],"pels":[777],"programadors":[778],"avui":[779],"dia.El":[781],"prop\u00f2sit":[782],"d'aquesta":[783],"tesi":[784,814],"introduir,":[786],"diferents":[790,907,931],"programaci\u00f3":[793,859],"concurrents,":[794],"t\u00e8cniques":[795],"d'an\u00e0lisi":[796],"puguin":[798],"ajudar":[799],"millorar":[801],"l'experi\u00e8ncia":[802],"publicaci\u00f3":[806],"models":[811],"concurrents.En":[812],"s'introdueixen":[815],"an\u00e0lisis":[817,862,962],"est\u00e0tics":[818],"(aproximant":[819],"totes":[820],"possibles":[822],"execucions)":[823],"din\u00e0mics":[825],"(considerant":[826],"execuci\u00f3":[828],"concret).Els":[830],"treballs":[831,988],"proposats":[833],"difereixen":[834],"prou":[835],"si":[837,940],"idees":[840,908,935],"totalment":[841],"independents,":[842],"per\u00f2":[843],"mantenint":[844],"nexe":[846],"com\u00fa:":[847],"an\u00e0lisi":[853],"llenguatge":[857],"concurrent.Tots":[860],"presentats":[863],"estat":[865],"definits":[866],"formalment":[867],"s'ha":[869],"provat":[870],"correcci\u00f3,":[873],"assegurant":[874],"resultats":[877,995],"obtinguts":[878,996],"tindran":[879],"grau":[881],"fiabilitat":[883],"necessari":[884],"ho":[888],"requereixin,":[889],"cr\u00edtics.A":[895],"s'inclou":[897],"descripci\u00f3":[899],"implementen":[905],"propostes.Aix\u00f2":[909],"li":[910,976],"d\u00f3na":[911,977],"treball":[913],"utilitat":[915],"enll\u00e0":[917],"marc":[919],"te\u00f2ric,":[920],"permetent":[921],"posar":[922],"pr\u00e0ctica":[924],"provar":[926],"amb":[927],"exemples":[928],"reals":[929],"an\u00e0lisis.ix":[932],"Totes":[933],"presentades":[937],"constitueixen,":[938],"mateixes,":[941],"propostes":[942],"problemes":[949],"actuals.A":[950],"individualment":[952],"serveixen":[953],"punt":[956],"altres":[961,970],"derivats,":[963],"aix\u00ed":[964],"l'adaptaci\u00f3":[968],"mateixa":[974],"fam\u00edlia.Aix\u00f2":[975],"afegit":[980],"treball,":[983],"b\u00e9":[985],"testifiquen":[986],"alguns":[987],"posteriors":[989],"ja":[991],"s'estan":[992],"beneficiant":[993],"tesi.x":[999]},"counts_by_year":[],"updated_date":"2026-11-09T13:22:03.289127","created_date":"2016-06-24T00:00:00"}