{"id":"https://openalex.org/W2622045392","doi":"https://doi.org/10.1145/2627350","title":"Sequentially Constructive Concurrency\u2014A Conservative Extension of the Synchronous Model of Computation","display_name":"Sequentially Constructive Concurrency\u2014A Conservative Extension of the Synchronous Model of Computation","publication_year":2014,"publication_date":"2014-07-01","ids":{"openalex":"https://openalex.org/W2622045392","doi":"https://doi.org/10.1145/2627350","mag":"2622045392"},"language":"en","primary_location":{"id":"doi:10.1145/2627350","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2627350","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5029982033","display_name":"Reinhard von Hanxleden","orcid":"https://orcid.org/0000-0001-5691-1215"},"institutions":[{"id":"https://openalex.org/I32021983","display_name":"Christian-Albrechts-Universit\u00e4t zu Kiel","ror":"https://ror.org/04v76ef78","country_code":"DE","type":"education","lineage":["https://openalex.org/I32021983"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Reinhard Von Hanxleden","raw_affiliation_strings":["Kiel University, Kiel, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Kiel University, Kiel, Germany","institution_ids":["https://openalex.org/I32021983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056710976","display_name":"Michael Mendler","orcid":"https://orcid.org/0000-0001-9562-0576"},"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":"Michael Mendler","raw_affiliation_strings":["Bamberg University, Bamberg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Bamberg University, Bamberg, Germany","institution_ids":["https://openalex.org/I94626330"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038272807","display_name":"Joaqu\u00edn Aguado","orcid":"https://orcid.org/0000-0001-8305-4247"},"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":"Joaqu\u00edn Aguado","raw_affiliation_strings":["Bamberg University, Bamberg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Bamberg University, Bamberg, Germany","institution_ids":["https://openalex.org/I94626330"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028830961","display_name":"Bj\u00f6rn Duderstadt","orcid":null},"institutions":[{"id":"https://openalex.org/I32021983","display_name":"Christian-Albrechts-Universit\u00e4t zu Kiel","ror":"https://ror.org/04v76ef78","country_code":"DE","type":"education","lineage":["https://openalex.org/I32021983"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Bj\u00f6rn Duderstadt","raw_affiliation_strings":["Kiel University, Kiel, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Kiel University, Kiel, Germany","institution_ids":["https://openalex.org/I32021983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012478523","display_name":"Insa Fuhrmann","orcid":null},"institutions":[{"id":"https://openalex.org/I32021983","display_name":"Christian-Albrechts-Universit\u00e4t zu Kiel","ror":"https://ror.org/04v76ef78","country_code":"DE","type":"education","lineage":["https://openalex.org/I32021983"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Insa Fuhrmann","raw_affiliation_strings":["Kiel University, Kiel, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Kiel University, Kiel, Germany","institution_ids":["https://openalex.org/I32021983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113453643","display_name":"Christian Motika","orcid":null},"institutions":[{"id":"https://openalex.org/I32021983","display_name":"Christian-Albrechts-Universit\u00e4t zu Kiel","ror":"https://ror.org/04v76ef78","country_code":"DE","type":"education","lineage":["https://openalex.org/I32021983"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christian Motika","raw_affiliation_strings":["Kiel University, Kiel, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Kiel University, Kiel, Germany","institution_ids":["https://openalex.org/I32021983"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089845573","display_name":"Stephen Mercer","orcid":null},"institutions":[{"id":"https://openalex.org/I4210124763","display_name":"National Instruments (United States)","ror":"https://ror.org/026exqw73","country_code":"US","type":"company","lineage":["https://openalex.org/I4210117810","https://openalex.org/I4210124763"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Stephen Mercer","raw_affiliation_strings":["National Instruments, Austin, TX"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Instruments, Austin, TX","institution_ids":["https://openalex.org/I4210124763"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037976456","display_name":"Owen O'Brien","orcid":null},"institutions":[{"id":"https://openalex.org/I4210124763","display_name":"National Instruments (United States)","ror":"https://ror.org/026exqw73","country_code":"US","type":"company","lineage":["https://openalex.org/I4210117810","https://openalex.org/I4210124763"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Owen O'brien","raw_affiliation_strings":["National Instruments, Austin, TX"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Instruments, Austin, TX","institution_ids":["https://openalex.org/I4210124763"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5076621370","display_name":"Partha S. Roop","orcid":"https://orcid.org/0000-0001-9654-5678"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Partha Roop","raw_affiliation_strings":["Auckland University, Auckland, New Zealand"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Auckland University, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":9,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.4115,"has_fulltext":false,"cited_by_count":53,"citation_normalized_percentile":{"value":0.94842724,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":"13","issue":"4s","first_page":"1","last_page":"26"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9994999766349792,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.998199999332428,"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/computer-science","display_name":"Computer science","score":0.8259866237640381},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.7556988000869751},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6186017990112305},{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.5709984302520752},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.4689233899116516},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"Concurrency control","score":0.45488882064819336},{"id":"https://openalex.org/keywords/concurrent-object-oriented-programming","display_name":"Concurrent object-oriented programming","score":0.4535341262817383},{"id":"https://openalex.org/keywords/extension","display_name":"Extension (predicate logic)","score":0.44522589445114136},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.43688786029815674},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.41891396045684814},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3431586027145386},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.32685157656669617},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.284498929977417},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1609547734260559},{"id":"https://openalex.org/keywords/declarative-programming","display_name":"Declarative programming","score":0.15507513284683228},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.12880173325538635},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.10894688963890076},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.07664018869400024},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.0754576325416565},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.0668250322341919}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8259866237640381},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.7556988000869751},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6186017990112305},{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.5709984302520752},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.4689233899116516},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.45488882064819336},{"id":"https://openalex.org/C3701939","wikidata":"https://www.wikidata.org/wiki/Q5159109","display_name":"Concurrent object-oriented programming","level":5,"score":0.4535341262817383},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.44522589445114136},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.43688786029815674},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.41891396045684814},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3431586027145386},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.32685157656669617},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.284498929977417},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1609547734260559},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.15507513284683228},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.12880173325538635},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.10894688963890076},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.07664018869400024},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.0754576325416565},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.0668250322341919},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2627350","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2627350","pdf_url":null,"source":{"id":"https://openalex.org/S136160450","display_name":"ACM Transactions on Embedded Computing Systems","issn_l":"1539-9087","issn":["1539-9087","1558-3465"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Embedded Computing Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320314510","display_name":"National Instruments Corporation","ror":"https://ror.org/026exqw73"},{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":51,"referenced_works":["https://openalex.org/W34362263","https://openalex.org/W73874822","https://openalex.org/W154245241","https://openalex.org/W258022877","https://openalex.org/W375614154","https://openalex.org/W1489435921","https://openalex.org/W1503973138","https://openalex.org/W1507507765","https://openalex.org/W1533525390","https://openalex.org/W1551331198","https://openalex.org/W1584993430","https://openalex.org/W1742379874","https://openalex.org/W1974715929","https://openalex.org/W1978909743","https://openalex.org/W2031131603","https://openalex.org/W2039310738","https://openalex.org/W2058713130","https://openalex.org/W2060008798","https://openalex.org/W2083877067","https://openalex.org/W2084143659","https://openalex.org/W2087819344","https://openalex.org/W2090321041","https://openalex.org/W2099529102","https://openalex.org/W2100044916","https://openalex.org/W2100500718","https://openalex.org/W2101431901","https://openalex.org/W2105858189","https://openalex.org/W2114781590","https://openalex.org/W2118382442","https://openalex.org/W2118844942","https://openalex.org/W2125415493","https://openalex.org/W2128969973","https://openalex.org/W2130358593","https://openalex.org/W2135313087","https://openalex.org/W2137171730","https://openalex.org/W2144344516","https://openalex.org/W2149127686","https://openalex.org/W2149564213","https://openalex.org/W2156783651","https://openalex.org/W2158096453","https://openalex.org/W2166295031","https://openalex.org/W2167995056","https://openalex.org/W2176300081","https://openalex.org/W2187708965","https://openalex.org/W2269221215","https://openalex.org/W2339714652","https://openalex.org/W2561675875","https://openalex.org/W3137220996","https://openalex.org/W3141112769","https://openalex.org/W4206658214","https://openalex.org/W4235222319"],"related_works":["https://openalex.org/W1507200363","https://openalex.org/W2007551100","https://openalex.org/W4252341711","https://openalex.org/W1595842514","https://openalex.org/W2133348162","https://openalex.org/W4316252341","https://openalex.org/W2086685683","https://openalex.org/W3005875561","https://openalex.org/W2422465781","https://openalex.org/W3023364199"],"abstract_inverted_index":{"Synchronous":[0],"languages":[1,22],"ensure":[2],"determinate":[3,41,60],"concurrency":[4,61],"but":[5,34],"at":[6],"the":[7,54,75,79,100,104,131,140,157,166,189],"price":[8],"of":[9,48,65,133,175,185,191],"restrictions":[10],"on":[11],"what":[12],"programs":[13,153,205],"are":[14,137,161],"considered":[15,154],"valid,":[16],"or":[17],"constructive":[18,45,155],".":[19],"Meanwhile,":[20],"sequential":[21,71,123,192],"such":[23,125],"as":[24,97,99,126,182],"C":[25],"and":[26,89,94,128,164,194,202],"Java":[27],"offer":[28],"an":[29],"intuitive,":[30],"familiar":[31,121],"programming":[32,68,119],"paradigm":[33],"provide":[35],"no":[36],"guarantees":[37],"with":[38],"regard":[39],"to":[40,58,86,110,117],"concurrency.":[42],"The":[43,144],"sequentially":[44],"(SC)":[46],"model":[47,57],"computation":[49],"(MoC)":[50],"presented":[51],"here":[52],"harnesses":[53],"synchronous":[55,81,142,159],"execution":[56],"achieve":[59],"while":[62],"taking":[63],"advantage":[64],"familiar,":[66],"convenient":[67],"paradigms":[69],"from":[70,122],"languages.":[72],"In":[73,169],"essence,":[74],"SC":[76,145,163,204],"MoC":[77,82,146,160],"extends":[78],"classical":[80],"by":[83],"allowing":[84],"variables":[85],"be":[87],"read":[88],"written":[90],"in":[91,103,139,151,156],"any":[92],"order":[93],"multiple":[95],"times,":[96],"long":[98],"sequentiality":[101],"expressed":[102],"program":[105],"provides":[106],"sufficient":[107],"scheduling":[108,181,198],"information":[109],"rule":[111],"out":[112],"race":[113],"conditions.":[114],"This":[115],"allows":[116],"use":[118],"patterns":[120],"programming,":[124],"testing":[127],"later":[129],"setting":[130],"value":[132],"a":[134,148,183,196],"variable,":[135],"which":[136],"forbidden":[138],"standard":[141],"MoC.":[143],"is":[147],"conservative":[149],"extension":[150],"that":[152],"common":[158],"also":[162],"retain":[165],"same":[167],"semantics.":[168],"this":[170],"article,":[171],"we":[172],"investigate":[173],"classes":[174],"shared":[176],"variable":[177],"accesses,":[178],"define":[179],"SC-admissible":[180],"restriction":[184],"\u201cfree":[186],"scheduling,\u201d":[187],"derive":[188],"concept":[190],"constructiveness,":[193],"present":[195],"priority-based":[197],"algorithm":[199],"for":[200],"analyzing":[201],"compiling":[203],"efficiently.":[206]},"counts_by_year":[{"year":2025,"cited_by_count":21},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":5},{"year":2013,"cited_by_count":2}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}