{"id":"https://openalex.org/W2073577817","doi":"https://doi.org/10.1007/s10703-012-0160-6","title":"Deadlock-freedom in component systems with architectural constraints","display_name":"Deadlock-freedom in component systems with architectural constraints","publication_year":2012,"publication_date":"2012-05-15","ids":{"openalex":"https://openalex.org/W2073577817","doi":"https://doi.org/10.1007/s10703-012-0160-6","mag":"2073577817"},"language":"en","primary_location":{"id":"doi:10.1007/s10703-012-0160-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10703-012-0160-6","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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 Methods in System Design","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/A5090514298","display_name":"Moritz Martens","orcid":null},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Moritz Martens","raw_affiliation_strings":["Faculty of Computer Science, Chair for Software Engineering, Technical University of Dortmund, 44221, Dortmund, Germany","Faculty of Computer Science, Chair for Software Engineering, Technical University of Dortmund, Dortmund, Germany 44221#TAB#"],"affiliations":[{"raw_affiliation_string":"Faculty of Computer Science, Chair for Software Engineering, Technical University of Dortmund, 44221, Dortmund, Germany","institution_ids":["https://openalex.org/I200332995"]},{"raw_affiliation_string":"Faculty of Computer Science, Chair for Software Engineering, Technical University of Dortmund, Dortmund, Germany 44221#TAB#","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045042008","display_name":"Mila Majster-Cederbaum","orcid":null},"institutions":[{"id":"https://openalex.org/I177802217","display_name":"University of Mannheim","ror":"https://ror.org/031bsb921","country_code":"DE","type":"education","lineage":["https://openalex.org/I177802217"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Mila Majster-Cederbaum","raw_affiliation_strings":["Faculty of Mathematics and Computer Science, Chair for Practical Computer Science II, University of Mannheim, A5, 6, 68131, Mannheim, Germany","Faculty of Mathematics and Computer Science, Chair for Practical Computer Science II, University of Mannheim, Mannheim, Germany 68131#TAB#"],"affiliations":[{"raw_affiliation_string":"Faculty of Mathematics and Computer Science, Chair for Practical Computer Science II, University of Mannheim, A5, 6, 68131, Mannheim, Germany","institution_ids":["https://openalex.org/I177802217"]},{"raw_affiliation_string":"Faculty of Mathematics and Computer Science, Chair for Practical Computer Science II, University of Mannheim, Mannheim, Germany 68131#TAB#","institution_ids":["https://openalex.org/I177802217"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5090514298"],"corresponding_institution_ids":["https://openalex.org/I200332995"],"apc_list":{"value":2690,"currency":"EUR","value_usd":3490},"apc_paid":null,"fwci":0.2972,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.58708147,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"41","issue":"2","first_page":"129","last_page":"177"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994000196456909,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994000196456909,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9991999864578247,"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.9991000294685364,"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/component","display_name":"Component (thermodynamics)","score":0.801471471786499},{"id":"https://openalex.org/keywords/deadlock","display_name":"Deadlock","score":0.7559274435043335},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5326119661331177},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.33386456966400146},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.11707410216331482}],"concepts":[{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.801471471786499},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.7559274435043335},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5326119661331177},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.33386456966400146},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.11707410216331482},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10703-012-0160-6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10703-012-0160-6","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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 Methods in System Design","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","score":0.4000000059604645,"display_name":"Sustainable cities and communities"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":57,"referenced_works":["https://openalex.org/W258022877","https://openalex.org/W1498342204","https://openalex.org/W1503973138","https://openalex.org/W1515728536","https://openalex.org/W1524605318","https://openalex.org/W1528441743","https://openalex.org/W1530284785","https://openalex.org/W1536783297","https://openalex.org/W1540501475","https://openalex.org/W1543132934","https://openalex.org/W1551842063","https://openalex.org/W1553922847","https://openalex.org/W1560567486","https://openalex.org/W1572620006","https://openalex.org/W1579363409","https://openalex.org/W1581159190","https://openalex.org/W1590315663","https://openalex.org/W1728798265","https://openalex.org/W1759083992","https://openalex.org/W1801021781","https://openalex.org/W1874372619","https://openalex.org/W1897228115","https://openalex.org/W1955157903","https://openalex.org/W1968552123","https://openalex.org/W1970063378","https://openalex.org/W1976570600","https://openalex.org/W1984831616","https://openalex.org/W1986385780","https://openalex.org/W1988118164","https://openalex.org/W2005952505","https://openalex.org/W2012351729","https://openalex.org/W2021473546","https://openalex.org/W2023808162","https://openalex.org/W2030224590","https://openalex.org/W2035293913","https://openalex.org/W2043100293","https://openalex.org/W2046042302","https://openalex.org/W2063900889","https://openalex.org/W2068361557","https://openalex.org/W2070255567","https://openalex.org/W2073514926","https://openalex.org/W2080267935","https://openalex.org/W2099095087","https://openalex.org/W2103883247","https://openalex.org/W2107558091","https://openalex.org/W2112343847","https://openalex.org/W2117189826","https://openalex.org/W2133038101","https://openalex.org/W2135453964","https://openalex.org/W2137467159","https://openalex.org/W2168914306","https://openalex.org/W2293287097","https://openalex.org/W2298784381","https://openalex.org/W2341516670","https://openalex.org/W3010856131","https://openalex.org/W3144368627","https://openalex.org/W3160274653"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W397120980","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W3175828148","https://openalex.org/W125668343","https://openalex.org/W2363501516","https://openalex.org/W2136712919"],"abstract_inverted_index":null,"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}