{"id":"https://openalex.org/W2068515391","doi":"https://doi.org/10.4204/eptcs.120","title":"Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics","display_name":"Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics","publication_year":2013,"publication_date":"2013-07-26","ids":{"openalex":"https://openalex.org/W2068515391","doi":"https://doi.org/10.4204/eptcs.120","mag":"2068515391"},"language":"en","primary_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.120","pdf_url":null,"source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_indexed_in_scopus":false,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true},"type":"paratext","type_crossref":"journal-issue","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.4204/eptcs.120","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5038036076","display_name":"Johannes Borgstr\u00f6m","orcid":"https://orcid.org/0000-0001-5990-5742"},"institutions":[{"id":"https://openalex.org/I123387679","display_name":"Uppsala University","ror":"https://ror.org/048a87296","country_code":"SE","type":"education","lineage":["https://openalex.org/I123387679"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Johannes Borgstr\u00f6m","raw_affiliation_strings":["Uppsala University"],"affiliations":[{"raw_affiliation_string":"Uppsala University","institution_ids":["https://openalex.org/I123387679"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067908378","display_name":"Bas Luttik","orcid":"https://orcid.org/0000-0001-6710-8436"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Bas Luttik","raw_affiliation_strings":["Eindhoven University of Technology"],"affiliations":[{"raw_affiliation_string":"Eindhoven University of Technology","institution_ids":["https://openalex.org/I83019370"]}]}],"institution_assertions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":0,"currency":"USD","value_usd":0,"provenance":"doaj"},"apc_paid":null,"fwci":null,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":0,"citation_normalized_percentile":{"value":0.0,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":0,"max":65},"biblio":{"volume":"120","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":true,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9934,"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"}},"topics":[{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9934,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9924,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9821,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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-object-oriented-programming","display_name":"Concurrent object-oriented programming","score":0.4637732},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.43393227}],"concepts":[{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.8634996},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.73101187},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6818921},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.596768},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5497858},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.5027375},{"id":"https://openalex.org/C9652623","wikidata":"https://www.wikidata.org/wiki/Q190109","display_name":"Field (mathematics)","level":2,"score":0.47225538},{"id":"https://openalex.org/C3701939","wikidata":"https://www.wikidata.org/wiki/Q5159109","display_name":"Concurrent object-oriented programming","level":5,"score":0.4637732},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4551253},{"id":"https://openalex.org/C18701968","wikidata":"https://www.wikidata.org/wiki/Q2670534","display_name":"Programming language theory","level":4,"score":0.44805878},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.43393227},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.36141825},{"id":"https://openalex.org/C199305712","wikidata":"https://www.wikidata.org/wiki/Q3205914","display_name":"Fifth-generation programming language","level":3,"score":0.15704581},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.14528143},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.11570197},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09076947},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.120","pdf_url":null,"source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_indexed_in_scopus":false,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true},{"is_oa":true,"landing_page_url":"https://arxiv.org/abs/1307.6903","pdf_url":"https://arxiv.org/pdf/1307.6903","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":["Cornell University"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://pure.tue.nl/ws/files/3607110/568694225973865.pdf","pdf_url":"https://pure.tue.nl/ws/files/3607110/568694225973865.pdf","source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/803be633-502b-484c-8667-b9b84ead60d8","pdf_url":"https://research.tue.nl/files/3607110/568694225973865.pdf","source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":["Royal Netherlands Academy of Arts and Sciences"],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://api.datacite.org/dois/10.48550/arxiv.1307.6903","pdf_url":null,"source":{"id":"https://openalex.org/S4393179698","display_name":"DataCite API","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":"https://openalex.org/I4210145204","host_organization_name":"DataCite","host_organization_lineage":["https://openalex.org/I4210145204"],"host_organization_lineage_names":["DataCite"],"type":"metadata"},"license":null,"license_id":null,"version":null}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.120","pdf_url":null,"source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_indexed_in_scopus":false,"is_core":true,"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":["https://openalex.org/W2068515391","https://openalex.org/W3148055945"],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4232499970","https://openalex.org/W2385508105","https://openalex.org/W2169841379","https://openalex.org/W2150043732","https://openalex.org/W2124431509","https://openalex.org/W2073736684","https://openalex.org/W2013028647","https://openalex.org/W1590701233","https://openalex.org/W1516638553","https://openalex.org/W1426476981"],"abstract_inverted_index":{"This":[0],"volume":[1],"contains":[2],"the":[3,6,16,43,60,71,81,115,133,164,172,176,185,193],"proceedings":[4],"of":[5,40,62,73,99,117,166,171,175,197,202,215,219,226,230],"Combined":[7],"20th":[8],"International":[9,45],"Workshop":[10,18],"on":[11,19,28,47,80,114,192,200],"Expressiveness":[12],"in":[13,32,59,70,155,163],"Concurrency":[14,48],"and":[15,66,92,95,111,131,152,158,187,195,213,224,232,238,243,246,251],"10th":[17],"Structural":[20],"Operational":[21],"Semantics":[22],"(EXPRESS/SOS":[23],"2013)":[24],"which":[25],"was":[26],"held":[27],"26th":[29],"August,":[30],"2013":[31],"Buenos":[33],"Aires,":[34],"Argentina,":[35],"as":[36,87,102],"an":[37],"affiliated":[38],"workshop":[39,124,178],"CONCUR":[41],"2013,":[42],"24th":[44],"Conference":[46],"Theory.":[49],"The":[50,122,141],"EXPRESS":[51,123],"workshops":[52,143],"aim":[53,144],"at":[54,145],"bringing":[55],"together":[56],"researchers":[57],"interested":[58,154],"expressiveness":[61],"various":[63],"formal":[64],"systems":[65,221],"semantic":[67],"notions,":[68],"particularly":[69],"field":[72,165],"concurrency.":[74],"Their":[75],"focus":[76,136],"has":[77,126,137],"traditionally":[78],"been":[79],"comparison":[82],"between":[83,96,184],"programming":[84,188,235],"concepts":[85],"(such":[86,101],"concurrent,":[88],"functional,":[89],"imperative,":[90],"logic":[91],"object-oriented":[93],"programming)":[94],"mathematical":[97],"models":[98],"computation":[100],"process":[103],"algebras,":[104],"Petri":[105],"nets,":[106],"event":[107],"structures,":[108],"modal":[109],"logics,":[110],"rewrite":[112],"systems)":[113],"basis":[116],"their":[118],"relative":[119],"expressive":[120],"power.":[121],"series":[125,179],"run":[127],"successfully":[128],"since":[129],"1994":[130],"over":[132],"years":[134],"this":[135],"become":[138],"broadly":[139],"construed.":[140],"SOS":[142,177,203],"being":[146],"a":[147],"forum":[148],"for":[149,160,248],"researchers,":[150],"students":[151],"practitioners":[153],"new":[156],"developments,":[157],"directions":[159],"future":[161],"investigation,":[162],"structural":[167],"operational":[168],"semantics.":[169],"One":[170],"specific":[173],"goals":[174],"is":[180],"to":[181,204],"establish":[182],"synergies":[183],"concurrency":[186],"language":[189,236],"communities":[190],"working":[191],"theory":[194],"practice":[196],"SOS.":[198],"Reports":[199],"applications":[201],"other":[205],"fields":[206],"are":[207],"also":[208],"most":[209],"welcome,":[210],"including:":[211],"modelling":[212,223],"analysis":[214,225,241],"biological":[216],"systems,":[217,228],"security":[218],"computer":[220],"programming,":[222],"embedded":[227],"specification":[229],"middle-ware":[231],"coordination":[233],"languages,":[234],"semantics":[237,247],"implementation,":[239],"static":[240],"software":[242],"hardware":[244],"verification,":[245],"domain-specific":[249],"languages":[250],"model-based":[252],"engineering.":[253]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2068515391","counts_by_year":[],"updated_date":"2025-01-19T04:32:01.809891","created_date":"2016-06-24"}