{"id":"https://openalex.org/W2565764087","doi":"https://doi.org/10.1093/comjnl/bxw099","title":"Communication and Resource Deadlock Analysis Using IMDS Formalism and Model Checking","display_name":"Communication and Resource Deadlock Analysis Using IMDS Formalism and Model Checking","publication_year":2016,"publication_date":"2016-11-16","ids":{"openalex":"https://openalex.org/W2565764087","doi":"https://doi.org/10.1093/comjnl/bxw099","mag":"2565764087"},"language":"en","primary_location":{"id":"doi:10.1093/comjnl/bxw099","is_oa":false,"landing_page_url":"https://doi.org/10.1093/comjnl/bxw099","pdf_url":null,"source":{"id":"https://openalex.org/S44643521","display_name":"The Computer Journal","issn_l":"0010-4620","issn":["0010-4620","1460-2067"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Computer Journal","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/A5066950874","display_name":"Wiktor B. Daszczuk","orcid":"https://orcid.org/0000-0001-7532-362X"},"institutions":[{"id":"https://openalex.org/I4210087266","display_name":"Institute of Computer Science","ror":"https://ror.org/003fvp964","country_code":"PL","type":"facility","lineage":["https://openalex.org/I4210087266","https://openalex.org/I99542240"]},{"id":"https://openalex.org/I108403487","display_name":"Warsaw University of Technology","ror":"https://ror.org/00y0xnp53","country_code":"PL","type":"education","lineage":["https://openalex.org/I108403487"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Wiktor B. Daszczuk","raw_affiliation_strings":["Institute of Computer Science, Warsaw University of Technology, Nowowiejska Str. 15/19, 00-665 Warsaw, Poland"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Science, Warsaw University of Technology, Nowowiejska Str. 15/19, 00-665 Warsaw, Poland","institution_ids":["https://openalex.org/I108403487","https://openalex.org/I4210087266"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5066950874"],"corresponding_institution_ids":["https://openalex.org/I108403487","https://openalex.org/I4210087266"],"apc_list":{"value":2635,"currency":"GBP","value_usd":3232},"apc_paid":null,"fwci":4.5301,"has_fulltext":false,"cited_by_count":18,"citation_normalized_percentile":{"value":0.95035417,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9993000030517578,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8291597962379456},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.7685651183128357},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.7317184209823608},{"id":"https://openalex.org/keywords/deadlock-prevention-algorithms","display_name":"Deadlock prevention algorithms","score":0.6244091391563416},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5609214901924133},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5324882864952087},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4837198555469513},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.47954365611076355},{"id":"https://openalex.org/keywords/shared-resource","display_name":"Shared resource","score":0.47137296199798584},{"id":"https://openalex.org/keywords/server","display_name":"Server","score":0.4510565996170044},{"id":"https://openalex.org/keywords/resource","display_name":"Resource (disambiguation)","score":0.44482383131980896},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.20452475547790527},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.20094507932662964}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8291597962379456},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.7685651183128357},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.7317184209823608},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.6244091391563416},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5609214901924133},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5324882864952087},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4837198555469513},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.47954365611076355},{"id":"https://openalex.org/C51332947","wikidata":"https://www.wikidata.org/wiki/Q1172305","display_name":"Shared resource","level":2,"score":0.47137296199798584},{"id":"https://openalex.org/C93996380","wikidata":"https://www.wikidata.org/wiki/Q44127","display_name":"Server","level":2,"score":0.4510565996170044},{"id":"https://openalex.org/C206345919","wikidata":"https://www.wikidata.org/wiki/Q20380951","display_name":"Resource (disambiguation)","level":2,"score":0.44482383131980896},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.20452475547790527},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.20094507932662964},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1093/comjnl/bxw099","is_oa":false,"landing_page_url":"https://doi.org/10.1093/comjnl/bxw099","pdf_url":null,"source":{"id":"https://openalex.org/S44643521","display_name":"The Computer Journal","issn_l":"0010-4620","issn":["0010-4620","1460-2067"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311648","host_organization_name":"Oxford University Press","host_organization_lineage":["https://openalex.org/P4310311648","https://openalex.org/P4310311647"],"host_organization_lineage_names":["Oxford University Press","University of Oxford"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Computer Journal","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":108,"referenced_works":["https://openalex.org/W14491291","https://openalex.org/W16319209","https://openalex.org/W152267705","https://openalex.org/W198918365","https://openalex.org/W1452568986","https://openalex.org/W1482434736","https://openalex.org/W1498432697","https://openalex.org/W1504525241","https://openalex.org/W1504940531","https://openalex.org/W1506588809","https://openalex.org/W1507179785","https://openalex.org/W1511759343","https://openalex.org/W1518775808","https://openalex.org/W1529568204","https://openalex.org/W1530895039","https://openalex.org/W1532908479","https://openalex.org/W1555460062","https://openalex.org/W1588548112","https://openalex.org/W1598605911","https://openalex.org/W1677924248","https://openalex.org/W1755492414","https://openalex.org/W1780887522","https://openalex.org/W1873627200","https://openalex.org/W1890368987","https://openalex.org/W1925744448","https://openalex.org/W1964718922","https://openalex.org/W1967622799","https://openalex.org/W1968552123","https://openalex.org/W1978208568","https://openalex.org/W1980868220","https://openalex.org/W1986332631","https://openalex.org/W1990986484","https://openalex.org/W1992135271","https://openalex.org/W1993668481","https://openalex.org/W1996589696","https://openalex.org/W1999937954","https://openalex.org/W2001289891","https://openalex.org/W2001478969","https://openalex.org/W2004043832","https://openalex.org/W2007866490","https://openalex.org/W2013173096","https://openalex.org/W2016484402","https://openalex.org/W2023408771","https://openalex.org/W2028025798","https://openalex.org/W2036442623","https://openalex.org/W2036521380","https://openalex.org/W2036868494","https://openalex.org/W2040060046","https://openalex.org/W2051539487","https://openalex.org/W2066775342","https://openalex.org/W2069754808","https://openalex.org/W2081317651","https://openalex.org/W2096115456","https://openalex.org/W2096455207","https://openalex.org/W2100578622","https://openalex.org/W2101097602","https://openalex.org/W2101508170","https://openalex.org/W2106065239","https://openalex.org/W2106461458","https://openalex.org/W2107978495","https://openalex.org/W2108678912","https://openalex.org/W2109787297","https://openalex.org/W2115309705","https://openalex.org/W2116873772","https://openalex.org/W2120098047","https://openalex.org/W2120849108","https://openalex.org/W2122762495","https://openalex.org/W2123471081","https://openalex.org/W2127612573","https://openalex.org/W2127721288","https://openalex.org/W2129292921","https://openalex.org/W2131053137","https://openalex.org/W2133010105","https://openalex.org/W2137057055","https://openalex.org/W2137398674","https://openalex.org/W2137865376","https://openalex.org/W2146928461","https://openalex.org/W2149313960","https://openalex.org/W2150023806","https://openalex.org/W2155373035","https://openalex.org/W2159375180","https://openalex.org/W2160097679","https://openalex.org/W2161788716","https://openalex.org/W2164768429","https://openalex.org/W2166334040","https://openalex.org/W2166357363","https://openalex.org/W2166509141","https://openalex.org/W2182939804","https://openalex.org/W2294580796","https://openalex.org/W2332567642","https://openalex.org/W2397401118","https://openalex.org/W2406456846","https://openalex.org/W2408619800","https://openalex.org/W2492912431","https://openalex.org/W2540703162","https://openalex.org/W2546017686","https://openalex.org/W2611816380","https://openalex.org/W2913459036","https://openalex.org/W2962915834","https://openalex.org/W2963341973","https://openalex.org/W2963983453","https://openalex.org/W3123595139","https://openalex.org/W4297798602","https://openalex.org/W6602193716","https://openalex.org/W6637205175","https://openalex.org/W6683724205","https://openalex.org/W6685732586","https://openalex.org/W6736048737"],"related_works":["https://openalex.org/W2050076411","https://openalex.org/W2001478969","https://openalex.org/W1542183432","https://openalex.org/W2360686363","https://openalex.org/W1900787600","https://openalex.org/W2136552483","https://openalex.org/W2166954426","https://openalex.org/W2117224408","https://openalex.org/W3137070212","https://openalex.org/W2379911191"],"abstract_inverted_index":{"Modern":[0],"static":[1,59],"deadlock":[2,192],"detection":[3],"techniques":[4],"deal":[5],"with":[6,183],"the":[7,11,18,40,108],"global":[8,140],"properties":[9],"of":[10,64,76,80,84,91,111,119,125,151,181],"verified":[12,57,113],"systems,":[13],"using":[14],"methods":[15],"that":[16],"explore":[17],"state":[19],"space.":[20],"Local":[21],"features,":[22],"like":[23],"partial":[24,170],"deadlocks":[25,44,162,171],"or":[26,34,56],"individual":[27],"process":[28],"terminations,":[29],"are":[30,143,196],"not":[31,137],"easily":[32,155],"expressed":[33],"checked":[35],"by":[36,58,96],"such":[37],"methods.":[38,60],"Also":[39],"distinction":[41],"between":[42],"communication":[43],"and":[45,82,102,131,142,160,167,169,172,188,193],"resource":[46,161],"deadlocks,":[47],"common":[48],"in":[49,123,157],"dynamic":[50],"waits-for":[51],"methods,":[52],"cannot":[53],"be":[54,154,164,175],"addressed":[55],"An":[61],"Integrated":[62],"Model":[63],"Distributed":[65,134],"Systems":[66],"(IMDS)":[67],"is":[68,94,115,121,186],"proposed":[69],"which":[70,127],"specifies":[71],"distributed":[72,92],"systems":[73,93],"as":[74],"sets":[75,79,83],"servers\u2019":[77],"states,":[78],"messages":[81],"actions.":[85],"The":[86],"message":[87],"passing/resource":[88],"sharing":[89],"dualism":[90],"provided":[95],"projections:":[97],"on":[98,103,139],"servers":[99],"(server":[100],"view)":[101],"agents":[104],"(agent":[105],"view),":[106],"yet":[107],"uniform":[109],"specification":[110],"a":[112],"system":[114],"preserved.":[116],"A":[117],"progress":[118],"computation":[120],"defined":[122],"terms":[124],"actions":[126,135],"change":[128],"(local)":[129],"states":[130,141],"generate":[132],"messages.":[133],"do":[136],"depend":[138],"independent":[144],"from":[145,177],"one":[146],"another.":[147],"Therefore,":[148],"local":[149],"features":[150],"subsystems":[152],"can":[153,163,174],"described":[156],"IMDS.":[158],"Communication":[159],"handled":[165],"separately":[166],"total":[168],"terminations":[173],"distinguished":[176],"each":[178],"other.":[179],"Integration":[180],"IMDS":[182],"model":[184],"checking":[185,195],"outlined":[187],"temporal":[189],"formulas":[190],"for":[191],"termination":[194],"discussed.":[197]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":5},{"year":2017,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}