｛“id”：“https://openalex.org/W1492441230“，”doi“：”https://doi.org/10.1007/978-0-387-09680-3_28“，”title“：”终止移动进程的静态和动态类型“，”display_name“：”移动进程终止的静态和静态类型“，“publication_year”：2008，”publication_date“：”2008-07-21“，”ids“：{”openalex“：”https://openalex.org/W1492441230“，”doi“：”https://doi.org/10.1007/978-0-387-09680-3_28“，”mag“：”1492441230“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-0-387-09680-3_28，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-0-387-09680-3_28.pdf“，”源“：{”id“：”https://openalex.org/S4210175514“，”display_name“：”IFIP国际信息处理联合会/IFIP“，”issn_l“：”1571-5736“，”isn“：[”1571-7736“，“1861-2288”]，”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”type“：”book-chapter“，”type_crossref“：美国“：”铜牌“，”oaurl“：”https://link.springer.com/content/pdf/10.1007%2F978-0-387-09680-3_28.pdf“，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5013478917“，”display_name“：”Romain Demangeon“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I100532134“，”display_name“：”里昂克洛德·伯纳德大学1“，”ror“：”https://ror.org/029brtt94“，”country_code“：”FR“，”type“：”教育“，”血统“：[”https://openalex.org/I100532134","https://openalex.org/I203339264“]}，{”id“：”https://openalex.org/I1326498283“，”display_name“：”法国计算机科学与自动化研究所“，”ror“：”https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}，{”id“：”https://openalex.org/I113428412“，”display_name“：”\u00c9cole Normale Sup\u00e9rieure de Lyon“，”ror“：”https://ror.org/04zmssz18“，”country_code“：”FR“，”type“：”教育“，”血统“：[”https://openalex.org/I113428412","https://openalex.org/I203339264“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”法国国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Romain Demangeon“，”raw _ afiliation_strings“：[“ENS Lyon University \u00e9 de Lyon，CNRS INRIA\u2013 France，France”]，“affiliations”：[{“raw_affiliation_string”：“ENS里昂大学\u00e 9 de Lyon，CNRS INRIA\u 2013 France”，“institution_ids”：[”https://openalex.org/I100532134","https://openalex.org/I1326498283","https://openalex.org/I113428412","https://openalex.org/I1294671590“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5033874015“，”display_name“：”Daniel Hirschkoff“，”orcid“：”https://orcid.org/0000-0001-7425-2436}，“机构”：[{“id”：https://openalex.org/I100532134“，”display_name“：”里昂克洛德·伯纳德大学1“，”ror“：”https://ror.org/029brtt94“，”country_code“：”FR“，”type“：”教育“，”血统“：[”https://openalex.org/I100532134","https://openalex.org/I203339264“]}，{”id“：”https://openalex.org/I1326498283“，”display_name“：”法国计算机科学与自动化研究所“，”ror“：”https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}，{”id“：”https://openalex.org/I113428412“，”display_name“：”\u00c9cole Normale Sup\u00e9rieure de Lyon“，”ror“：”https://ror.org/04zmssz18“，”country_code“：”FR“，”type“：”教育“，”血统“：[”https://openalex.org/I113428412","https://openalex.org/I203339264“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”法国国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Daniel Hirschkoff“，”raw _affiliation_strings“：[“ENS Lyon University \u00e9 de Lyon，CNRS INRIA\u2013 France，France”]，“affiliations”：[{“raw_affiliation _string”：“ENS里昂大学\u00e 9 de Lyion，CNRS INRIA\u 2013 France”，“institution_ids”：[”https://openalex.org/I100532134","https://openalex.org/I1326498283","https://openalex.org/I113428412","https://openalex.org/I1294671590“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5077030456“，”display_name“：”Davide Sangiorgi“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I9360294“，”display_name“：”博洛尼亚大学“，”ror“：”网址：https://ror.org/01111rn36“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I9360294“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Davide Sangiorgi“，”raw _ afiliation_strings“：[“Dipartitmento di Informatica，University \u00e0 di Bologna \u2013 Italia，Italia”]，“afiliations”：[{“raw_affiliation_string”：“Dipartiation di Informationa，University\u00e 0 di Pologna \u 2013 Italian”，“institution_ids”：[”https://openalex.org/I9360294“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：5，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：null，”apc_payed“：null、”fwci“：0.333、“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count）：1，”cited_by_percentile_year“：{”min“：67，”max“：74}，”biblio“：{”volume“：null，”issue“：null，”first_page“：”413“，”last_page“：”427“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”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/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9999，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9964，”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/T10142“，”display_name“：”软件验证和控制中的正式方法“，”score“：0.9852，”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/keywords/static-analysis网站“，”display_name“：”静态分析“，”score“：0.541844}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.52856}，{”id“：”https://openalex.org/keywords/probabilistic-systems网站“，”display_name“：”概率系统“，”score“：0.503069}]，”概念“：[{”id“：”https://openalex.org/C154690210，“wikidata”：https://www.wikidata.org/wiki/Q1668499“，”display_name“：”重写“，”level“：2，”score“：0.81786674}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7381597}，{”id“：”https://openalex.org/C198370458，“wikidata”：https://www.wikidata.org/wiki/Q586459“，”display_name“：”类型推断“，”level“：3，”score“：0.67575896}，{”id“：”https://openalex.org/C97686452，“wikidata”：https://www.wikidata.org/wiki/Q7604153“，”display_name“：”静态分析“，”level“：2，”score“：0.65180385}，{”id“：”https://openalex.org/C2779623528，“wikidata”：https://www.wikidata.org/wiki/Q864377“，”display_name“：”Multiset“，”level“：2，”score“：0.625818}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.55467683}，{”id“：”https://openalex.org/C159254197，“wikidata”：https://www.wikidata.org/wiki/Q1144915“，”display_name“：”词汇顺序“，”level“：2，”score“：0.5522464}，{”id“：”https://openalex.org/C2777299769，“wikidata”：https://www.wikidata.org/wiki/Q3707858“，”display_name“：”Type（biology）“，”level“：2，”score“：0.5393126}，{”id“：”https://openalex.org/C61797465，“wikidata”：https://www.wikidata.org/wiki/Q1188986“，”display_name“：”Term（time）“，”level“：2，”score“：0.51985675}，{”id“：”https://openalex.org/C207390915，“wikidata”：https://www.wikidata.org/wiki/Q1230525“，”display_name“：”Divergence（linguistics）“，”level“：2，”score“：0.5028438}，{”id“：”https://openalex.org/C161771561，“wikidata”：https://www.wikidata.org/wiki/Q1970286“，”display_name“：”进程演算“，”level“：2，”score“：0.45177242}，{”id“：”https://openalex.org/C98045186，“wikidata”：https://www.wikidata.org/wiki/Q205663“，”display_name“：”Process（computing）“，”level“：2，”score“：0.44386807}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.40520257}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.18833184}，{”id“：”https://openalex.org/C2776214188，“wikidata”：https://www.wikidata.org/wiki/Q408386“，”display_name“：”推理“，”level“：2，”score“：0.16244945｝，｛”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.111673445}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.11119893}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”生态学“，”level“：1，”score“：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/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C121332964，“wikidata”：https://www.wikidata.org/wiki/Q413“，”display_name“：”物理“，”级别“：0，”分数“：0.0}，{”id“：”https://openalex.org/C114614502，“wikidata”：https://www.wikidata.org/wiki/Q76592“，”display_name“：”组合数学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C62520636，“wikidata”：https://www.wikidata.org/wiki/Q944“，”display_name“：”量子力学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0｝]，”mesh“：[]，”locations_count“：1，”locations“：[｛”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-0-387-09680-3_28，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-0-387-09680-3_28.pdf“，”源“：{”id“：”https://openalex.org/S4210175514“，”display_name“：”IFIP国际信息处理联合会/IFIP“，”issn_l“：”1571-5736“，”isn“：[”1571-7736“，“1861-2288”]，”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”best_oa_location“：{”is_oa“：true”，“landing_page_url”：“https://doi.org/10.1007/978-0-387-09680-3_28，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-0-387-09680-3_28.pdf“，”源“：{”id“：”https://openalex.org/S4210175514“，”display_name“：”IFIP国际信息处理联合会/IFIP“，”issn_l“：”1571-5736“，”isn“：[”1571-7736“，“1861-2288”]，”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：【】，”dataset“：【]，”versions“：【〕，”referenced_works_count“：8，”https://openalex.org/W1507974640","https://openalex.org/W1509600745","https://openalex.org/W1987203566","https://openalex.org/W2008593246","https://openalex.org/W2028016184","https://openalex.org/W2072572819","https://openalex.org/W2129381550","https://openalex.org/W4243518731“]，”related_works“：[”https://openalex.org/W432811906","https://openalex.org/W4300455649","https://openalex.org/W4252409532","https://openalex.org/W4249990212","https://openalex.org/W3107528135","https://openalex.org/W2741461915","https://openalex.org/W2296588302","https://openalex.org/W2188821552","https://openalex.org/W2033245919","https://openalex.org/W2006067547“]，”ngrams_url“：”https://api.openalex.org/works/W1492441230/ngrams网站“，”abstract_inverted_index“：{”A“：[0]，”process“：[1]，”terminates“：[2]，”if“：[3108]，”all“：[4]，”its“：[5]，”reduction“：[6]，”sequences“：%7]，”are“：+86,91116]，”finited.“：[9]，”We“：[10]，”suggest“：[11]，”two“：[12]，”type“：%13,22,30138]，”systems“：[14,31]，”that“：[15,60,72111132]，“确保”：[16]，“终止”：[17]，“of”：[18,641011121129]，“\u03c0-calculus”：[19]，“流程。我们的”：[20]，“第一个”：[21]，“系统”：[23,68]，“是”：[24,69]，“纯”：[25]，“静态。”：[26]，“它”：[27]，“细化”：[28]，“前一个”：[29137]，“by”：[32,36]，“邓”：[33]，“and”：[34,57,77]，“Sangiorgi”：[35]，“兼顾”：[37]，“考虑”：[38]，“顾及”：[39]，“确定”：[40109]，“部分”：[41]，“命令”：[42]，“信息”：[43]，“on”：[44,55]，“名称”：[45]，“so”：[46]，“to”：[47,97114]，“增强”：[48]，“the”：[49,62,82,99119122]，“technologies”：[50]，“from”：[51]，“term”：[52]，“rewriting”：[53]，“（based”：[54]，“lexicographic”：[56]，“multiset”：[58]，“orderings”）：[59]，“undersin”：[61]，“proof”：[63]，“终止。”：[65]，“the”：[66]，“second”：[67]，“mixed”：[70]，“in”：[71]，“it”：[73]，“combines”：[74]，“a”：[75,78126]，“static”：[76,83]，“dynamic”：[79]，“analysis。”：[80]，“During”：[81]，“analysis，”：[84]，“processs”：[85]，“annotated”：[87]，“with”：[88125]，“assertions。”：[89]，“These”：[90]，“then”：[92]，“used”：[93]，“at”：[94]，“run”：[95]，“time”：[96]，“monitor”：[98]，“execution”：[100]，“processs.”：[102]，“An”：[103]，“exception”：[104]，“可能”：[105112]，“是”：[106]，“升高”：[107]，“条件”：[110]，“导联”：[113]，“分歧”：[115]，“met.We”：[117]，“图解”：[118]，“表现力”：[120]，“解决方案”：[123]，“建议”：[124]，“少数”：[127]，“示例”：[128]，“编程”：[130]，“习惯用法”：[131]，“是”：[133]，“超越”：[134]，“达到”：[135]，“用于”：[136]，“系统”：[139]}，“引用_by_api_url”：“https://api.openalex.org/works？filter=cites:W1492441230“，”counts_by_year“：[]，”updated_date“：”2024-06-22T22:02:37.017022“，”创建日期“：”2016-06-24“}