{"id":"https://openalex.org/W2763667146","doi":"https://doi.org/10.1007/s00165-017-0443-1","title":"A semantics comparison workbench for a concurrent, asynchronous, distributed programming language","display_name":"A semantics comparison workbench for a concurrent, asynchronous, distributed programming language","publication_year":2017,"publication_date":"2017-11-13","ids":{"openalex":"https://openalex.org/W2763667146","doi":"https://doi.org/10.1007/s00165-017-0443-1","mag":"2763667146"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-017-0443-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-017-0443-1","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1710.03928","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Claudio Corrodi","orcid":null},"institutions":[{"id":"https://openalex.org/I118564535","display_name":"University of Bern","ror":"https://ror.org/02k7v4d05","country_code":"CH","type":"education","lineage":["https://openalex.org/I118564535"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Claudio Corrodi","raw_affiliation_strings":["Software Composition Group, University of Bern, Bern, Switzerland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Software Composition Group, University of Bern, Bern, Switzerland","institution_ids":["https://openalex.org/I118564535"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Alexander Heu\u00dfner","orcid":null},"institutions":[{"id":"https://openalex.org/I94626330","display_name":"University of Bamberg","ror":"https://ror.org/01c1w6d29","country_code":"DE","type":"education","lineage":["https://openalex.org/I94626330"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Alexander Heu\u00dfner","raw_affiliation_strings":["Software Technologies Research Group, University of Bamberg, Bamberg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Software Technologies Research Group, University of Bamberg, Bamberg, Germany","institution_ids":["https://openalex.org/I94626330"]}]},{"author_position":"last","author":{"id":null,"display_name":"Christopher M. Poskitt","orcid":"https://orcid.org/0000-0002-9376-2471"},"institutions":[{"id":"https://openalex.org/I152815399","display_name":"Singapore University of Technology and Design","ror":"https://ror.org/05j6fvn87","country_code":"SG","type":"education","lineage":["https://openalex.org/I152815399"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Christopher M. Poskitt","raw_affiliation_strings":["Singapore University of Technology and Design, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0002-9376-2471","affiliations":[{"raw_affiliation_string":"Singapore University of Technology and Design, Singapore, Singapore","institution_ids":["https://openalex.org/I152815399"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.15335186,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"30","issue":"1","first_page":"163","last_page":"192"},"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.3098999857902527,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.3098999857902527,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.25920000672340393,"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.13779999315738678,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/graph-rewriting","display_name":"Graph rewriting","score":0.6534000039100647},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6241999864578247},{"id":"https://openalex.org/keywords/workbench","display_name":"Workbench","score":0.5368000268936157},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.4869999885559082},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4205000102519989},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.4198000133037567},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.4018999934196472},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.4016999900341034},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.400299996137619}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8819000124931335},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7860000133514404},{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.6534000039100647},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6241999864578247},{"id":"https://openalex.org/C2779145975","wikidata":"https://www.wikidata.org/wiki/Q347690","display_name":"Workbench","level":3,"score":0.5368000268936157},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.4869999885559082},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44369998574256897},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4205000102519989},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.4198000133037567},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.4018999934196472},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.4016999900341034},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.400299996137619},{"id":"https://openalex.org/C32833848","wikidata":"https://www.wikidata.org/wiki/Q4115054","display_name":"Extensibility","level":2,"score":0.3756999969482422},{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.36160001158714294},{"id":"https://openalex.org/C48859967","wikidata":"https://www.wikidata.org/wiki/Q6486712","display_name":"Language construct","level":2,"score":0.3521000146865845},{"id":"https://openalex.org/C2776834041","wikidata":"https://www.wikidata.org/wiki/Q25346349","display_name":"Execution model","level":2,"score":0.3379000127315521},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.33469998836517334},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.3057999908924103},{"id":"https://openalex.org/C16311509","wikidata":"https://www.wikidata.org/wiki/Q4148050","display_name":"Dependency graph","level":3,"score":0.3041999936103821},{"id":"https://openalex.org/C88977235","wikidata":"https://www.wikidata.org/wiki/Q787114","display_name":"Abstract machine","level":2,"score":0.2906000018119812},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.2867000102996826},{"id":"https://openalex.org/C145243422","wikidata":"https://www.wikidata.org/wiki/Q333385","display_name":"Abstract state machines","level":3,"score":0.2815999984741211},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.2696000039577484},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.26809999346733093},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.26649999618530273},{"id":"https://openalex.org/C144559511","wikidata":"https://www.wikidata.org/wiki/Q2986279","display_name":"Principal (computer security)","level":2,"score":0.2533000111579895},{"id":"https://openalex.org/C200065993","wikidata":"https://www.wikidata.org/wiki/Q3954981","display_name":"Computational semantics","level":4,"score":0.2517000138759613}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s00165-017-0443-1","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-017-0443-1","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1710.03928","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1710.03928","pdf_url":"https://arxiv.org/pdf/1710.03928","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":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":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1710.03928","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1710.03928","pdf_url":"https://arxiv.org/pdf/1710.03928","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":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":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G843967839","display_name":null,"funder_award_id":"291389","funder_id":"https://openalex.org/F4320334678","funder_display_name":"European Research Council"}],"funders":[{"id":"https://openalex.org/F4320334678","display_name":"European Research Council","ror":"https://ror.org/0472cxd90"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":47,"referenced_works":["https://openalex.org/W54190742","https://openalex.org/W80629733","https://openalex.org/W195632224","https://openalex.org/W821289620","https://openalex.org/W998906087","https://openalex.org/W1495866684","https://openalex.org/W1508113248","https://openalex.org/W1565645576","https://openalex.org/W1729749005","https://openalex.org/W1748310592","https://openalex.org/W1822674892","https://openalex.org/W1908231796","https://openalex.org/W1950130824","https://openalex.org/W1964830323","https://openalex.org/W1966037709","https://openalex.org/W1966082459","https://openalex.org/W1974167925","https://openalex.org/W1976195354","https://openalex.org/W1980868220","https://openalex.org/W1993662467","https://openalex.org/W2006766139","https://openalex.org/W2013112009","https://openalex.org/W2025883070","https://openalex.org/W2028487565","https://openalex.org/W2033294135","https://openalex.org/W2035910477","https://openalex.org/W2041034484","https://openalex.org/W2048417351","https://openalex.org/W2073157156","https://openalex.org/W2082649949","https://openalex.org/W2084712713","https://openalex.org/W2087188285","https://openalex.org/W2117825935","https://openalex.org/W2124321651","https://openalex.org/W2148177311","https://openalex.org/W2150162206","https://openalex.org/W2157901438","https://openalex.org/W2163490397","https://openalex.org/W2164913620","https://openalex.org/W2288522156","https://openalex.org/W2336777905","https://openalex.org/W2404119306","https://openalex.org/W2533070090","https://openalex.org/W2577957384","https://openalex.org/W3008912813","https://openalex.org/W4212915500","https://openalex.org/W4239953003"],"related_works":[],"abstract_inverted_index":{"Abstract":[0],"A":[1],"number":[2],"of":[3,52,83,107,125,135,148,156,163,211],"high-level":[4],"languages":[5],"and":[6,14,22,49,74,97,102,138,182,220],"libraries":[7],"have":[8],"been":[9],"proposed":[10,73,170],"that":[11,28,68],"offer":[12],"novel":[13],"simple":[15],"to":[16,36,40,43,64,111,132,167,199,217,228],"use":[17,120],"abstractions":[18],"for":[19,79,93,100,172],"concurrent,":[20],"asynchronous,":[21],"distributed":[23,173],"programming.":[24,174],"The":[25],"execution":[26,113,146,165],"models":[27,114,147],"realise":[29],"them,":[30],"however,":[31],"often":[32],"change":[33],"over":[34],"time\u2014whether":[35],"improve":[37],"performance,":[38],"or":[39,115],"extend":[41],"them":[42],"new":[44],"language":[45,203],"features\u2014potentially":[46],"affecting":[47],"behavioural":[48],"safety":[50],"properties":[51,126],"existing":[53],"programs.":[54],"This":[55],"is":[56,177],"exemplified":[57],"by":[58,129,159],"Scoop":[59,94,149],",":[60],"a":[61,89,133,140,180],"message-passing":[62],"approach":[63,224],"concurrent":[65],"object-oriented":[66],"programming":[67],"has":[69],"seen":[70],"multiple":[71],"changes":[72],"implemented,":[75],"with":[76,95,109],"demonstrable":[77],"consequences":[78],"an":[80,164],"idiomatic":[81],"usage":[82],"its":[84,119],"core":[85],"abstraction.":[86],"We":[87,117,192],"propose":[88],"semantics":[90,128,186],"comparison":[91],"workbench":[92,158,176],"fully":[96],"semi-automatic":[98],"tools":[99],"analysing":[101],"comparing":[103],"the":[104,123,144,154,157,161,189,206,212,223],"state":[105],"spaces":[106],"programs":[108],"respect":[110],"different":[112],"semantics.":[116],"demonstrate":[118,153],"in":[121,188],"checking":[122],"consistency":[124],"across":[127],"applying":[130],"it":[131],"set":[134],"representative":[136],"programs,":[137],"highlighting":[139],"deadlock-related":[141],"discrepancy":[142],"between":[143],"principal":[145],".":[150],"Furthermore,":[151],"we":[152],"extensibility":[155],"generalising":[160],"formalisation":[162],"model":[166,201,213],"support":[168],"recently":[169],"extensions":[171],"Our":[175],"based":[178],"on":[179],"modular":[181],"parameterisable":[183],"graph":[184,195],"transformation":[185],"implemented":[187],"Groove":[190],"tool.":[191],"discuss":[193],"how":[194,205,222],"transformations":[196],"are":[197],"leveraged":[198],"atomically":[200],"intricate":[202],"abstractions,":[204],"visual":[207],"yet":[208],"algebraic":[209],"nature":[210],"can":[214],"be":[215,226],"used":[216],"ascertain":[218],"soundness,":[219],"highlight":[221],"could":[225],"applied":[227],"similar":[229],"languages.":[230]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2017-10-20T00:00:00"}