{“id”：“https://openalex.org/W1488718410“，”doi“：”https://doi.org/10.1007/3-540-45657-0_22“，”title“：”无效协议的算法验证“，”display_name“：”失效协议的算法检验“，”publication_year“：2002，”publiation_date“：”2002-01-01“，”ids“：{”openalex“：”https://openalex.org/W1488718410“，”doi“：”https://doi.org/10.1007/3-540-45657-0_22“，”mag“：”1488718410“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/3-540-45657-0_22，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F3-540-45657-0_22.pdf“，”源“：{”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“：”施普林格科学+商业媒体“，”host_organization_lineage“：[”https://openalex.org/P4310319965“，”https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”施普林格自然“，”施普林格科学+商业媒体“]，”type“：”丛书“}，”license“：null，”license_id“：null，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝，”type“：”图书章节“，”type_crossref“：”图书章节“，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”青铜“，”oaurl“：”https://link.springer.com/content/pdf/10.1007%2F3-540-45657-0_22.pdf“，”any_repository_has_fulltext“：false}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5076775585“，”display_name“：”Marco Bozzano“，”orcid“：”https://orcid.org/0000-0002-4135-103X}，“机构”：[{“id”：https://openalex.org/I83816512“，”display_name“：”热那亚大学“，”ror“：”https://ror.org/0107c5v14“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I83816512“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Marco Bozzano“，”raw _affiliation_strings“：[“Dipartitmento di Informatica e Science dell\u2019Informazione，University \u00e0 di Genova，via Dodecaneso 35，16146，Italy”]}，{“author_position”：“last”，“author”：{“id”：”https://openalex.org/A5071901297“，”display_name“：”Giorgio Delzanno“，”orcid“：”https://orcid.org/0000-0001-7030-1050}，“机构”：[{“id”：https://openalex.org/I83816512“，”display_name“：”热那亚大学“，”ror“：”https://ror.org/0107c5v14“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I83816512“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Giorgio Delzanno“，”raw _affiliation_strings“：[“Dipartitmento di Informatica e Science dell\u2019Informazione，University \u00e0 di Genova，via Dodecaneso 35，16146，Italy”]}]“countries_distiction_count”：1，“institutions_distition_count“：1，”corresponding_author_ids“：[]，”corresponding_institution_ids“：[]，”apc_list“：{“value”：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc _payed“：”value“：5000，“currench”：“EUR”，“value_usd:5392，“provenance”：“doaj”}，“has_fulltext_origin”：“pdf”，“cited_by_count”：6，“citected_by_percentile_year”：{”min“：78，“max”：79}，“biblio”：{“volume”：空，“issue”：空first_page“：”295“，”last_page“：”308“}，”is_retracted“：false，”is_paratext“：fase，”primary_topic“：{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9996，“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“：”Physical Sciences“｝｝，”topics“：[｛”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9996，“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.9981，“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/T11125“，”“display_name”：“系统中Petri网的建模与控制”，“score”：0.9967，“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/model-checking“，”display_name“：”模型检查“，”score“：0.552888}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.541182}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.523644}，{”id“：”https://openalex.org/keywords/memory-management网站“，”display_name“：”内存管理“，”score“：0.505408｝，｛”id“：”https://openalex.org/keywords/symbolic-model-checker（https://openalex.org/keywords/symbolic-model-checker）“，”display_name“：”符号模型检查器“，”score“：0.501963}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.9001886｝，｛”id“：”https://openalex.org/C165464430，“wikidata”：https://www.wikidata.org/wiki/Q1570441“，”display_name“：”参数化复杂性“，”level“：2，”score“：0.72747886}，{”id“：”https://openalex.org/C154690210，“wikidata”：https://www.wikidata.org/wiki/Q1668499“，”display_name“：”重写“，”level“：2，”score“：0.67248464}，{”id“：”https://openalex.org/C2779623528，“wikidata”：https://www.wikidata.org/wiki/Q864377“，”display_name“：”Multiset“，”level“：2，”score“：0.5814356}，{”id“：”https://openalex.org/C141917322，“wikidata”：https://www.wikidata.org/wiki/Q1025017“，”display_name“：”缓存一致性“，”level“：5，”score“：0.56191146}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.50755775}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974网址“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5059988}，{”id“：”https://openalex.org/C2778562939，“wikidata”：https://www.wikidata.org/wiki/Q1298791“，”display_name“：”同步（交流）“，”level“：3，”score“：0.4946067}，{”id“：”https://openalex.org/C115537543，“wikidata”：https://www.wikidata.org/wiki/Q165596“，”display_name“：”Cache“，”level“：2，”score“：0.45649993}，{”id“：”https://openalex.org/C2778029271，“wikidata”：https://www.wikidata.org/wiki/Q5421931“，”display_name“：”扩展（谓词逻辑）“，”level“：2，”score“：0.41822395}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.41149142}，{”id“：”https://openalex.org/C173608175，“wikidata”：https://www.wikidata.org/wiki/Q232661“，”display_name“：”并行计算“，”level“：1，”score“：0.34192148}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.27494776}，{”id“：”https://openalex.org/C189783530，“wikidata”：https://www.wikidata.org/wiki/Q352090“，”display_name“：”CPU缓存“，”level“：3，”score“：0.20044547}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C127162648，“wikidata”：https://www.wikidata.org/wiki/Q16858953“，”display_name“：”频道（广播）“，”级别“：2，”分数“：0.0}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”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/C38556500，“wikidata”：https://www.wikidata.org/wiki/Q13404475网址“，”display_name“：”缓存算法“，”level“：4，”score“：0.0}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/3-540-45657-0_22，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F3-540-45657-0_22.pdf“，”源“：{”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”best_oa_location“：{”is_oa“：true”，“landing_page_url”：“https://doi.org/10.1007/3-540-45657-0_22，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F3-540-45657-0_22.pdf“，”源“：{”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”：“publishedVersion”，“is_accepted”：true，“is_published”：true}，”sustainable_development_goals“：[]，”grants“：【】，”dataset“：【]，”versions“：【〕，”referenced_works_count“：21，”https://openalex.org/W1536946401“，”https://openalex.org/W1564286197“，”https://openalex.org/W1567137300“，”https://openalex.org/W1582650717“，”https://openalex.org/W1588072091“，”https://openalex.org/W1605302571“，”https://openalex.org/W1783679080“，”https://openalex.org/W1861590051“，”https://openalex.org/W1913196744“，”https://openalex.org/W1926085771“，”https://openalex.org/W1967174286“，”https://openalex.org/W1975425602“，”https://openalex.org/W2031717789“，”https://openalex.org/W2044902313“，”https://openalex.org/W2053685668“，”https://openalex.org/W2076508310“，”https://openalex.org/W2083344324“，”https://openalex.org/W2106626405“，”https://openalex.org/W2118670643“，”https://openalex.org/W2129073086“，”https://openalex.org/W2131895477“]，”related_works“：[”https://openalex.org/W9228044“，”https://openalex.org/W432811906“，”https://openalex.org/W4300455649“，”https://openalex.org/W4252409532“，”https://openalex.org/W3143753676“，”https://openalex.org/W3131075420“，”https://openalex.org/W2536590462“，”https://openalex.org/W2296588302“，”https://openalex.org/W2033245919“，”https://openalex.org/W2006067547“]，”ngrams_url“：”https://api.openalex.org/works/W1488718410/ngrams“，”“abstract_inverted_index”：{“We”：[0,93]，“propose”：[1]，“an”：[2]，“extension”：[3]，“of”：[4,7,66,86113]，“the”：[5,54111]，“model”：[6,48,53]，“Broadcast”：[8]，“Protocols”：[9]，“in”：[110109]，“which”：[1110]，“individual”：[12]，“process”：[13]，“are”：[14119]，“allowed”：[15]，“to“：[16,22,47,52]，”have“：[17]，”unbounded“：[18]，”local“：[19]，”data“：[20,58]，”和“：[21,50,59,79106]，”通信“：[23]，”通过“：[24]，”值“：[25,60]，”传递。“：[26,61]，“我们的”：[27]，“规范”：[28]，“语言”：[29]，“is”：[30]，“based”：[31]，“on”：[32,83,96]，“multiset”：[33,87]，“重写”：[34,88]，“over”：[35,56]，“first”：[36]，“order”：[37]，“atomic”：[38]，“formulas”：[39]，“enriced”：[40]，“with”：[41,90,99]，“a”：[42,71]，“机制”：[43]，“for”：[44,75102]，“全局”：[45]，“同步”：[46]，“广播”：[49]，“约束条件“：[51]，“关系”：[55]，“内部”：[57]，“对于”：[62]，“此”：[63]，“新”：[64]，“类”：[65]，“参数化”：[67]，“系统”：[68]，“我们”：[69]，“提供”：[70]，“符号”：[72]，“验证”：[73]，“过程”：[74]，“检查”：[76]，“安全”：[77]，“属性”：[78]，“终止”：[80]，“条件”：[81]，“已定义”：[82]，“特殊”：[84]，“类”：[85]，“系统”：[89108]，“线性”：[91]，“约束。“：[92]，“报告”：[94]，“此处”：[95]，“实用”：[97]，“实验”：[98]，“一致性”：[100]，“协议”：[101]，“虚拟”：[103]，“共享”：[104]，“内存”：[105]，“多处理机”：[107]，“数字”：[112]，“处理器”：[114]，“页面”：[115]，“或”：[116]，“缓存”：[117]，“行”：[118]，“左”：[120]，“as”：[121]，“参数。“：[122]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1488718410“，”counts_by_year“：[]，”updated_date“：”2024-05-20T13:33:36.134792“，”创建日期“：”2016-06-24“}