{“id”：“https://openalex.org/W2512167970“，”doi“：”https://doi.org/10.1007/978-3-319-47958-3_7“，”title“：”Static Trace-Based Deadlock Analysis for Synchronous Mini-Go“，”display_name“：”Static Trace-Based Deallock Analysis for Synchronics Mini-Go.“，”publication_year“：2016，”publiation_date“：”2016-01-01“，”ids“：{”openalex“：”https://openalex.org/W2512167970“，”doi“：”https://doi.org/10.1007/978-3-319-47958-3_7“，”mag“：”2512167970“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-47958-3_7“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：https://arxiv.org/pdf/1608.08330“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5032117711“，”display_name“：”Kai Stadtm\u00fcller“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I70886390“，”display_name“：”卡尔斯鲁厄应用科学大学“，”ror“：”https://ror.org/01c0m1t63“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I70886390“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Kai Stadtm\u00fcller“，”raw _ afiliation_strings“：[“德国卡尔斯鲁厄应用科学大学计算机科学与商业信息系统学院，Moltkestrasse 30，76133，Karlsruhe”]，”afliations“：[{”raw _affiliation_strong“：”卡尔斯鲁厄应用科学大学计算机科学与商业信息系统学院，Moltkestrasse 30，76133，Karlsruhe，Germany“，”institution_ids“：[”https://openalex.org/I70886390“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5035364564“，”display_name“：”Martin Sulzmann“，”orcid“：”https://orcid.org/0000-0002-8165-3403}，“机构”：[{“id”：https://openalex.org/I70886390“，”display_name“：”卡尔斯鲁厄应用科学大学“，”ror“：”https://ror.org/01c0m1t63“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I70886390“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Martin Sulzmann“，”raw _affiliation_strings“：[“德国卡尔斯鲁厄应用科学大学计算机科学与商业信息系统学院，Moltkestrasse 30，76133，Karlsruhe”]，”affiliations“：[{”raw _affiliation_string“：”卡尔斯鲁厄应用科学大学计算机科学与商业信息系统学院，Moltkestrasse 30，76133，Karlsruhe，Germany“，”institution_ids“：[”https://openalex.org/I70886390“]｝]｝，｛”author_position“：”last“，”author“：｛”id“：”https://openalex.org/A5000384936“，”display_name“：”Peter Thiemann“，”orcid“：”https://orcid.org/0000-0002-9000-1239}，“机构”：[{“id”：https://openalex.org/I161046081“，”display_name“：”弗赖堡大学“，”ror“：”https://ror.org/0245cg223“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I161046081“]}]，”国家“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Peter Thiemann“，”raw _ afiliation_strings“：[“弗莱堡大学工程学院，Georges-K\u00f6hler-Alle 079，79110，德国弗莱堡”]，”affiliations“：[{”raw _affiliation_string“：”弗莱堡大学工程学院，Georges-K\u00f6hler-Allee 079，79110，Freiburg，Germany“，”institution_ids“：[”https://openalex.org/I161046081“]}]}]，”countries_distinct_count“：1，”institutions_distinact_counts“：2，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：5000，“currency”：“EUR”，“value_usd”：5392，“provenance”：“doaj”}，“apc_payed”：null，“has_fulltext”：false，“cited_by_count”：20，“cited_by_percentive_year”：{“min”：92，“max”：93}，“biblio”：{“volume”：null，“问题“：null，”first_page“：”116“，”last_page“：”136“}，”is_retracted“：false，”is_paratext“：false，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，”主题“：[{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9998，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.999，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”人工智能“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10054“，”display_name“：”并行计算与性能优化“，”score“：0.9985，”subfield“：{”id“：”https://openalex.org/subfields/1708“，”display_name“：”硬件和体系结构“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/static-analysis网站“，”display_name“：”Static Analysis“，”score“：0.54951}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.86337817}，{”id“：”https://openalex.org/C159023740，“wikidata”：https://www.wikidata.org/wiki/Q623276“，”display_name“：”死锁“，”level“：2，”score“：0.8545982}，{”id“：”https://openalex.org/C75291252，“wikidata”：https://www.wikidata.org/wiki/Q1315756“，”display_name“：”TRACE（心理语言学）“，”level“：2，”score“：0.6763684}，{”id“：”https://openalex.org/C113429609，“wikidata”：https://www.wikidata.org/wiki/Q4060699“，”display_name“：”死锁预防算法“，”level“：3，”score“：0.652138}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.6239984}，{”id“：”https://openalex.org/C2780586882，“wikidata”：https://www.wikidata.org/wiki/Q7520643（网址：https://www.wikidata.org/wiki/Q7520643）“，”display_name“：”Simple（哲学）“，”level“：2，”score“：0.45440453}，{”id“：”https://openalex.org/C127162648，“wikidata”：https://www.wikidata.org/wiki/Q16858953“，”display_name“：”频道（广播）“，”级别“：2，”分数“：0.44405547}，{”id“：”https://openalex.org/C40523978，“wikidata”：https://www.wikidata.org/wiki/Q14675“，”display_name“：”Fork（系统调用）“，”level“：2，”score“：0.43471253}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.4188571}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.40477785}，{”id“：”https://openalex.org/C120314980，“wikidata”：https://www.wikidata.org/wiki/Q180634“，”display_name“：”分布式计算“，”level“：1，”score“：0.38044286}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”级别“：1，”分数“：0.15440515｝，｛”id“：”https://openalex.org/C111919701，“wikidata”：https://www.wikidata.org/wiki/Q9135“，”display_name“：”操作系统“，”level“：1，”score“：0.08054659}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.0｝，｛”id“：”https://openalex.org/C111472728，“wikidata”：https://www.wikidata.org/wiki/Q9471“，”display_name“：”认识论“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-319-47958-3_7“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”“display_name”“：”“计算机科学课堂讲稿”“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false，”is_in_doaj“：false，”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://arxiv.org/abs/1608.08330，“pdf_url”：https://arxiv.org/pdf/1608.08330“，”源“：｛”id“：”https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝]，”best_oa_location“：｛”is_oa“：true，”landing_page_url“：”https://arxiv.org/abs/1608.08330，“pdf_url”：https://arxiv.org/pdf/1608.08330“，”源“：｛”id“：”https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”康奈尔大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/16“，”display_name“：”和平、正义和强大的机构“，”score“：0.81}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：18，”referrenced_works“：]”https://openalex.org/W1495087637","https://openalex.org/W1541313361","https://openalex.org/W1560340731","https://openalex.org/W15622223223","https://openalex.org/W1603799276","https://openalex.org/W1960 30931","https://openalex.org/W1999484846网址","https://openalex.org/W2036601332","https://openalex.org/W2055341574","https://openalex.org/W2081551198","https://openalex.org/W2156429182","https://openalex.org/W2171326679","https://openalex.org/W223870316","https://openalex.org/W2296352734","https://openalex.org/W3008818728","https://openalex.org/W383327177","https://openalex.org/W4211008702","https://openalex.org/W4251803824“]，”related_works“：[”https://openalex.org/W4226119751","https://openalex.org/W2360686363","https://openalex.org/W2166954426","https://openalex.org/W2136552483","https://openalex.org/W2117224408","https://openalex.org/W2050076411","https://openalex.org/W2045082154","https://openalex.org/W2001478969","https://openalex.org/W1900787600","https://openalex.org/W1542183432“]，”ngrams_url“：”https://api.openalex.org/works/W2512167970/ngrams“，”abstract_inverted_index“：{”We“：[0]，”consider“：[1]，”the“：[2,11,33]，”problem“：[3]，”of“：[4,18,36,47,67]，”static“：[5]，”死锁“：[6]，”detection“：[7]，”for“：[8,56]，”programs“：[9]，”in“：[10]，”Go“：[12]，”programming“：[13]，”language“：[14]，”which“：[15]，“make”：[16]，“使用”：[17]，“同步”：[19]，“通道”：[20]，“通信。”：[21]，“输入”：[22]，“我们的”：[23]，“分析，“：[24]，”正则“：[25]，”表达式“：[26]，”扩展“：[27]，”with“：[28,64]，”a“：[29,37,41,65]，”fork“：[30]，”操作符“：[31]，”capture“：[32]，”communication“：[34]，”behavior“：[35]，”program。“：[38]，”开始“：[39]，”来自“：[40]，”简单“：[42]，”标准“：[43]，”那“：[44]，”特征“：[45]，”跟踪“：[46]，”无死锁“：[48]，”程序“：[49]，”我们“：[50]，”开发“：[51]，”基于自动机“：[52]，”方法“：[53]，”到“：[54]，”检查“：[55]，”死锁自由。“：[57]，”The“：[58]，”approach“：[59]，”is“：[60]，”implemented“：[61]，”and“：[62]，”evaluate“：[63]，”series“：[66]，”examples。“：[68]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2512167970“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：2}，{“年度”：2022，”“cited_by_cunt”：1}，“{“年”：2021，”“cited_by-count”“：5}，”“年”“：2020，”“引用_by_cont”“:4}，，”“年份”“2019，”“援引_by_comount”年份“：2016，”引用_ by_count“：1}]，”更新日期“：”2024-06-19T11:09:25.666312“，”创建日期“：“2016-09-16"}