{"id":"https://openalex.org/W4399054265","doi":"https://doi.org/10.3390/computers13060133","title":"Modeling and Analysis of Dekker-Based Mutual Exclusion Algorithms","display_name":"Modeling and Analysis of Dekker-Based Mutual Exclusion Algorithms","publication_year":2024,"publication_date":"2024-05-25","ids":{"openalex":"https://openalex.org/W4399054265","doi":"https://doi.org/10.3390/computers13060133"},"language":"en","primary_location":{"id":"doi:10.3390/computers13060133","is_oa":true,"landing_page_url":"https://doi.org/10.3390/computers13060133","pdf_url":"https://www.mdpi.com/2073-431X/13/6/133/pdf?version=1716638451","source":{"id":"https://openalex.org/S4210228075","display_name":"Computers","issn_l":"2073-431X","issn":["2073-431X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computers","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2073-431X/13/6/133/pdf?version=1716638451","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037490312","display_name":"Libero Nigro","orcid":"https://orcid.org/0000-0001-6577-4777"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Libero Nigro","raw_affiliation_strings":["DIMES\u2014Engineering Department of Informatics Modelling Electronics and Systems Science, University of Calabria, 87036 Rende, Italy"],"affiliations":[{"raw_affiliation_string":"DIMES\u2014Engineering Department of Informatics Modelling Electronics and Systems Science, University of Calabria, 87036 Rende, Italy","institution_ids":["https://openalex.org/I45204951"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070083527","display_name":"Franco Cicirelli","orcid":"https://orcid.org/0000-0002-6138-5739"},"institutions":[{"id":"https://openalex.org/I3005160176","display_name":"Institute for High Performance Computing and Networking","ror":"https://ror.org/04r5fge26","country_code":"IT","type":"facility","lineage":["https://openalex.org/I3005160176","https://openalex.org/I4210155236"]},{"id":"https://openalex.org/I4210155236","display_name":"National Research Council","ror":"https://ror.org/04zaypm56","country_code":"IT","type":"funder","lineage":["https://openalex.org/I4210155236"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Franco Cicirelli","raw_affiliation_strings":["CNR\u2014National Research Council of Italy, Institute for High Performance Computing and Networking (ICAR), 87036 Rende, Italy"],"affiliations":[{"raw_affiliation_string":"CNR\u2014National Research Council of Italy, Institute for High Performance Computing and Networking (ICAR), 87036 Rende, Italy","institution_ids":["https://openalex.org/I3005160176","https://openalex.org/I4210155236"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035646499","display_name":"Francesco Pupo","orcid":"https://orcid.org/0000-0002-0742-9737"},"institutions":[{"id":"https://openalex.org/I45204951","display_name":"University of Calabria","ror":"https://ror.org/02rc97e94","country_code":"IT","type":"education","lineage":["https://openalex.org/I45204951"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesco Pupo","raw_affiliation_strings":["DIMES\u2014Engineering Department of Informatics Modelling Electronics and Systems Science, University of Calabria, 87036 Rende, Italy"],"affiliations":[{"raw_affiliation_string":"DIMES\u2014Engineering Department of Informatics Modelling Electronics and Systems Science, University of Calabria, 87036 Rende, Italy","institution_ids":["https://openalex.org/I45204951"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5037490312"],"corresponding_institution_ids":["https://openalex.org/I45204951"],"apc_list":{"value":1600,"currency":"CHF","value_usd":1732},"apc_paid":{"value":1600,"currency":"CHF","value_usd":1732},"fwci":2.1915,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.87977795,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":99},"biblio":{"volume":"13","issue":"6","first_page":"133","last_page":"133"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998000264167786,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998000264167786,"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/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9987999796867371,"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/mutual-exclusion","display_name":"Mutual exclusion","score":0.8457480072975159},{"id":"https://openalex.org/keywords/mathematical-economics","display_name":"Mathematical economics","score":0.4468982517719269},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4131208062171936},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3922106623649597},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.38615721464157104},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.19809523224830627}],"concepts":[{"id":"https://openalex.org/C56348326","wikidata":"https://www.wikidata.org/wiki/Q1047554","display_name":"Mutual exclusion","level":2,"score":0.8457480072975159},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.4468982517719269},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4131208062171936},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3922106623649597},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.38615721464157104},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.19809523224830627}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.3390/computers13060133","is_oa":true,"landing_page_url":"https://doi.org/10.3390/computers13060133","pdf_url":"https://www.mdpi.com/2073-431X/13/6/133/pdf?version=1716638451","source":{"id":"https://openalex.org/S4210228075","display_name":"Computers","issn_l":"2073-431X","issn":["2073-431X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computers","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:68d65d9f54374f42b9938deebb5a38e1","is_oa":true,"landing_page_url":"https://doaj.org/article/68d65d9f54374f42b9938deebb5a38e1","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Computers, Vol 13, Iss 6, p 133 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.3390/computers13060133","is_oa":true,"landing_page_url":"https://doi.org/10.3390/computers13060133","pdf_url":"https://www.mdpi.com/2073-431X/13/6/133/pdf?version=1716638451","source":{"id":"https://openalex.org/S4210228075","display_name":"Computers","issn_l":"2073-431X","issn":["2073-431X"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computers","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.8100000023841858,"display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4399054265.pdf"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W36240330","https://openalex.org/W1502619425","https://openalex.org/W1971153585","https://openalex.org/W1977622287","https://openalex.org/W1996109622","https://openalex.org/W2034343921","https://openalex.org/W2036267700","https://openalex.org/W2040637509","https://openalex.org/W2045395233","https://openalex.org/W2064787495","https://openalex.org/W2080678477","https://openalex.org/W2101508170","https://openalex.org/W2113863982","https://openalex.org/W2165821496","https://openalex.org/W2581540022","https://openalex.org/W3083827373","https://openalex.org/W4213369217","https://openalex.org/W4392674580","https://openalex.org/W6666621429"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W3046715470","https://openalex.org/W2531084474","https://openalex.org/W2383425257","https://openalex.org/W1982812811","https://openalex.org/W4362712030","https://openalex.org/W1540896195","https://openalex.org/W2161425454","https://openalex.org/W2014711626"],"abstract_inverted_index":{"Mutual":[0],"exclusion":[1,132],"is":[2,20,195],"a":[3,61,102,115,121,130,152,251],"fundamental":[4],"problem":[5,15],"in":[6,30,165,179,247],"concurrent/parallel/distributed":[7],"systems.":[8],"The":[9,40],"first":[10],"pure-software":[11],"solution":[12],"to":[13,79,98,101,124,150,171,190],"this":[14,43,144],"for":[16,94,199,255],"two":[17],"processes,":[18],"which":[19,89],"not":[21],"based":[22],"on":[23,60,105,129,201],"hardware":[24],"instructions":[25],"like":[26],"test-and-set,":[27],"was":[28],"proposed":[29,78,164],"1965":[31],"by":[32,37],"Th.J.":[33],"Dekker":[34],"and":[35,57,127,137,141,159,203,207,216,222,232],"communicated":[36],"E.W.":[38],"Dijkstra.":[39],"correctness":[41,215],"of":[42,73,155,161,182,186,218,224,240,250],"algorithm":[44,75,133,158,227],"has":[45],"generally":[46],"been":[47,77],"studied":[48,246],"under":[49,228],"the":[50,55,74,85,106,110,138,156,166,180,183,187,191,214,219,225,230,238,248],"strong":[51,231],"memory":[52,62,87,234],"model,":[53,88],"where":[54],"read":[56,96,111],"write":[58,103],"operations":[59,97,112],"cell":[63],"are":[64,243],"atomic":[65],"or":[66],"indivisible.":[67],"In":[68,236],"recent":[69],"years,":[70],"some":[71,160],"variants":[72,163,223],"have":[76],"make":[80],"it":[81,91,142,208],"RW-safe":[82],"when":[83],"using":[84,134],"weak":[86,233],"makes":[90],"possible,":[92],"e.g.,":[93],"multiple":[95],"occur":[99],"simultaneously":[100],"operation":[104],"same":[107],"variable,":[108],"with":[109],"returning":[113],"(flickering)":[114],"non-deterministic":[116],"value.":[117],"This":[118,168],"paper":[119,169],"proposes":[120],"novel":[122],"approach":[123,145],"formal":[125],"modeling":[126],"reasoning":[128,200],"mutual":[131],"Timed":[135],"Automata":[136],"Uppaal":[139],"tool,":[140],"applies":[143],"through":[146],"exhaustive":[147],"model":[148,174],"checking":[149],"conduct":[151],"thorough":[153],"analysis":[154],"Dekker\u2019s":[157,226],"its":[162],"literature.":[167],"aims":[170],"demonstrate":[172],"that":[173],"checking,":[175],"although":[176],"necessarily":[177],"limited":[178],"scalability":[181],"number":[184],"N":[185],"processes":[188],"due":[189],"state":[192],"explosions":[193],"problem,":[194],"effective":[196],"yet":[197],"powerful":[198],"concurrency":[202],"process":[204],"action":[205],"interleaving,":[206],"can":[209],"provide":[210],"significant":[211],"results":[212],"about":[213],"robustness":[217],"basic":[220],"version":[221],"both":[229],"models.":[235],"addition,":[237],"properties":[239],"these":[241],"algorithms":[242],"also":[244],"carefully":[245],"context":[249],"tournament-based":[252],"binary":[253],"tree":[254],"N\u22652":[256],"processes.":[257]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":3}],"updated_date":"2025-12-31T23:11:33.660297","created_date":"2025-10-10T00:00:00"}