{"id":"https://openalex.org/W2094928679","doi":"https://doi.org/10.1145/1453101.1453122","title":"Generation of concurrency control code using discrete-event systems theory","display_name":"Generation of concurrency control code using discrete-event systems theory","publication_year":2008,"publication_date":"2008-11-09","ids":{"openalex":"https://openalex.org/W2094928679","doi":"https://doi.org/10.1145/1453101.1453122","mag":"2094928679"},"language":"en","primary_location":{"id":"doi:10.1145/1453101.1453122","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1453101.1453122","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering","raw_type":"proceedings-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/A5088474101","display_name":"Christopher Dragert","orcid":null},"institutions":[{"id":"https://openalex.org/I204722609","display_name":"Queen's University","ror":"https://ror.org/02y72wh86","country_code":"CA","type":"education","lineage":["https://openalex.org/I204722609"]}],"countries":["CA"],"is_corresponding":true,"raw_author_name":"Christopher Dragert","raw_affiliation_strings":["Queen's University, Kingston, Ontario, Canada"],"affiliations":[{"raw_affiliation_string":"Queen's University, Kingston, Ontario, Canada","institution_ids":["https://openalex.org/I204722609"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5109500444","display_name":"Juergen Dingel","orcid":null},"institutions":[{"id":"https://openalex.org/I204722609","display_name":"Queen's University","ror":"https://ror.org/02y72wh86","country_code":"CA","type":"education","lineage":["https://openalex.org/I204722609"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Juergen Dingel","raw_affiliation_strings":["Queen's University, Kingston, Ontario, Canada"],"affiliations":[{"raw_affiliation_string":"Queen's University, Kingston, Ontario, Canada","institution_ids":["https://openalex.org/I204722609"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075103075","display_name":"Karen Rudie","orcid":"https://orcid.org/0000-0002-8675-334X"},"institutions":[{"id":"https://openalex.org/I204722609","display_name":"Queen's University","ror":"https://ror.org/02y72wh86","country_code":"CA","type":"education","lineage":["https://openalex.org/I204722609"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Karen Rudie","raw_affiliation_strings":["Queen's University, Kingston, Ontario, Canada"],"affiliations":[{"raw_affiliation_string":"Queen's University, Kingston, Ontario, Canada","institution_ids":["https://openalex.org/I204722609"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5088474101"],"corresponding_institution_ids":["https://openalex.org/I204722609"],"apc_list":null,"apc_paid":null,"fwci":2.4032,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":{"value":0.89003436,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":"1241","issue":null,"first_page":"146","last_page":"157"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998999834060669,"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.9998999834060669,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9990000128746033,"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.9975000023841858,"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.8142330646514893},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.792443037033081},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.6948857307434082},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"Concurrency control","score":0.6454614996910095},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.6147595047950745},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5851629376411438},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.5519812703132629},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.48875856399536133},{"id":"https://openalex.org/keywords/concurrent-object-oriented-programming","display_name":"Concurrent object-oriented programming","score":0.46872055530548096},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.46381160616874695},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.4566061496734619},{"id":"https://openalex.org/keywords/concurrent-computing","display_name":"Concurrent computing","score":0.44305557012557983},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.4284842014312744},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.17782703042030334},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.12588253617286682},{"id":"https://openalex.org/keywords/reactive-programming","display_name":"Reactive programming","score":0.12154239416122437},{"id":"https://openalex.org/keywords/inductive-programming","display_name":"Inductive programming","score":0.08661922812461853},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.07653000950813293},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.07606133818626404}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8142330646514893},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.792443037033081},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.6948857307434082},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.6454614996910095},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.6147595047950745},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5851629376411438},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.5519812703132629},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.48875856399536133},{"id":"https://openalex.org/C3701939","wikidata":"https://www.wikidata.org/wiki/Q5159109","display_name":"Concurrent object-oriented programming","level":5,"score":0.46872055530548096},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.46381160616874695},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.4566061496734619},{"id":"https://openalex.org/C150495011","wikidata":"https://www.wikidata.org/wiki/Q128392","display_name":"Concurrent computing","level":2,"score":0.44305557012557983},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.4284842014312744},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.17782703042030334},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.12588253617286682},{"id":"https://openalex.org/C150762246","wikidata":"https://www.wikidata.org/wiki/Q4354073","display_name":"Reactive programming","level":4,"score":0.12154239416122437},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.08661922812461853},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.07653000950813293},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.07606133818626404},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"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/1453101.1453122","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1453101.1453122","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5099999904632568,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":36,"referenced_works":["https://openalex.org/W55478891","https://openalex.org/W125251596","https://openalex.org/W1508662321","https://openalex.org/W1534752314","https://openalex.org/W1546981056","https://openalex.org/W1566242322","https://openalex.org/W1602275523","https://openalex.org/W1789713128","https://openalex.org/W1973353540","https://openalex.org/W1973417083","https://openalex.org/W1979349468","https://openalex.org/W1985861264","https://openalex.org/W2011012624","https://openalex.org/W2027242421","https://openalex.org/W2029414465","https://openalex.org/W2040127143","https://openalex.org/W2044951665","https://openalex.org/W2048355938","https://openalex.org/W2054099039","https://openalex.org/W2057645297","https://openalex.org/W2072078345","https://openalex.org/W2101008381","https://openalex.org/W2101431901","https://openalex.org/W2101528689","https://openalex.org/W2112338943","https://openalex.org/W2122845746","https://openalex.org/W2131791649","https://openalex.org/W2138338745","https://openalex.org/W2149030441","https://openalex.org/W2153841169","https://openalex.org/W2166780994","https://openalex.org/W2226640180","https://openalex.org/W2295334076","https://openalex.org/W4231639797","https://openalex.org/W4253298852","https://openalex.org/W4297744580"],"related_works":["https://openalex.org/W2060197308","https://openalex.org/W2340131066","https://openalex.org/W2053050258","https://openalex.org/W80439217","https://openalex.org/W2358822739","https://openalex.org/W2132511067","https://openalex.org/W2084318081","https://openalex.org/W4231879910","https://openalex.org/W2114661031","https://openalex.org/W2353507796"],"abstract_inverted_index":{"The":[0],"development":[1],"of":[2,7,35,60,87],"controls":[3,31],"for":[4],"the":[5,52,83,101],"execution":[6],"concurrent":[8],"code":[9,28,40],"is":[10,41,55,85],"non-trivial.":[11],"We":[12],"show":[13],"how":[14],"existing":[15],"discrete-event":[16],"system":[17],"(DES)":[18],"theory":[19],"can":[20,74],"be":[21,75],"successfully":[22],"applied":[23],"to":[24,99],"this":[25],"problem.":[26],"From":[27],"without":[29,78],"concurrency":[30,38],"and":[32,63,65,72],"a":[33],"specification":[34,91],"desired":[36],"behaviours,":[37],"control":[39,53],"generated.":[42],"By":[43],"applying":[44],"rigorously":[45],"proven":[46],"DES":[47,105],"theory,":[48],"we":[49],"guarantee":[50],"that":[51],"scheme":[54],"nonblocking":[56],"(and":[57],"thus":[58],"free":[59],"both":[61],"deadlock":[62],"livelock)":[64],"minimally":[66],"restrictive.":[67],"Some":[68],"conflicts":[69],"between":[70],"specifications":[71],"source":[73],"automatically":[76],"resolved":[77],"introducing":[79],"new":[80],"specifications.":[81],"Moreover,":[82],"approach":[84],"independent":[86],"specific":[88],"programming":[89],"or":[90],"languages.":[92],"Two":[93],"examples":[94],"using":[95],"Java":[96],"are":[97,107],"presented":[98],"illustrate":[100],"approach.":[102],"Additional":[103],"applicable":[104],"results":[106],"discussed":[108],"as":[109],"future":[110],"work.":[111]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":7},{"year":2012,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}