{“id”：“https://openalex.org/W1514954851“，”doi“：”https://doi.org/10.1007/3-540-60222-4_95“，”title“：”真正并发属性的高效验证器“，”display_name“：”真实并发属性的有效验证器”，“publication_year”：1995，“publiation_date”：“1995-01-01”，“ids”：{“openalex”：“https://openalex.org/W1514954851“，”doi“：”https://doi.org/10.1007/3-540-60222-4_95“，”mag“：”1514954851“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-60222-4_95“，”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、”is_core“：true、”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“：false”“，”oa_url“：空，”any_repository_has_fulltext“：false｝，”authorships“：[｛”author_position“：”first“，”author“：｛”id“：”https://openalex.org/A504469120“，”display_name“：”Alessandro Bianchi“，”orcid“：”https://orcid.org/0000-0001-6482-527X}，“机构”：[{“id”：https://openalex.org/I108290504“，”display_name“：”比萨大学“，”ror“：”https://ror.org/03ad39j10“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I108290504“]｝]，”国家“：[”IT“]，”is_correresponsing“：false，”raw_author_name“：”Alessandro Bianchi“，”raw_affiation_strings“：[”比萨大学“]，”附属机构“：[｛”raw_affiation_string“：”比萨大学“，”institution_ids“：[”https://openalex.org/I108290504“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5002123536“，”display_name“：”Stefano Coluccini“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I108290504“，”display_name“：”比萨大学“，”ror“：”https://ror.org/03ad39j10“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I108290504“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Stefano Coluccini“，”raw _ afiliation_strings“：[“比萨大学\u00e0”]，”affiliations“：[{”raw _affiliation_strong“：”比萨大学\ u00e0di Pisa，“，”institution_ids“：]”https://openalex.org/I108290504“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5055365661“，”display_name“：”Pierpaolo Degano“，”orcid“：”https://orcid.org/0000-0002-8070-4838}，“机构”：[{“id”：https://openalex.org/I108290504“，”display_name“：”比萨大学“，”ror“：”https://ror.org/03ad39j10“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I108290504“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Pierpaolo Degano“，”raw _ afiliation_strings“：[“比萨大学\u00e0”]，”affiliations“：[{”raw _affiliation_strong“：”比萨大学\ u00e0di Pisa，“，”institution_ids“：]”https://openalex.org/I108290504“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5028775661“，”display_name“：”Corrado Priami“，”orcid“：”https://orcid.org/0000-0002-3261-6235}，“机构”：[{“id”：https://openalex.org/I108290504“，”display_name“：”比萨大学“，”ror“：”https://ror.org/03ad39j10“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I108290504“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Corrado Priami“，”raw _ afiliation_strings“：[“比萨大学\u00e0”]，“附属机构”：[{https://openalex.org/I108290504“]}]}]，”countries_distinact_count“：1，”institutions_disticant_count”：1，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：2.872，”has_fulltext“：false，”cited_by_count：10，”citation_normalize d_percentile“：{“值”：0.748546，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：77，”max“：78}，“biblio”：{“volume”：null，”issue“：null”，“first_page”：“36”，“last_page”：“50”}，，“is_retracted”：falsehttps://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9996，“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.9996，“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.9994，“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/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9994，”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/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.633148}，{”id“：”https://openalex.org/keywords/model-checking（https://openalex.org/keywords/model-checking）“，”display_name“：”模型检查“，”score“：0.603696｝，｛”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.601554}，{”id“：”https://openalex.org/keywords/formal-verification网站“，”display_name“：”正式验证“，”score“：0.594124}，{”id“：”https://openalex.org/keywords/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.58133}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.8910101}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.5717925}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.35157105}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/3-540-60222-4_95“，”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、”is_core“：true、”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”：null，“version”：null，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：nul，“sustainable_development_goals”：[]，“grants”：[]，“dataset”：[]]，“versions”：[】，“referenced_works_count”：22，“referenced_works“：[”https://openalex.org/W119570465","https://openalex.org/W133701161","https://openalex.org/W1503973138","https://openalex.org/W1528441743","https://openalex.org/W1532326694","https://openalex.org/W1547562281","https://openalex.org/W1548052360","https://openalex.org/W1573453798","https://openalex.org/W1586266343","https://openalex.org/W1762927468","https://openalex.org/W1968552123","https://openalex.org/W1971107784","https://openalex.org/W2068361557","https://openalex.org/W2072538510","https://openalex.org/W2078614932","https://openalex.org/W2084118108","https://openalex.org/W2266118370","https://openalex.org/W258022877","https://openalex.org/W2912201013","https://openalex.org/W2914851216","https://openalex.org/W3144368627","https://openalex.org/W4236102081“]，”related_works“：[”https://openalex.org/W4243252198","https://openalex.org/W4235530921","https://openalex.org/W3137189469","https://openalex.org/W2740990710","https://openalex.org/W2167798150","https://openalex.org/W2135396778","https://openalex.org/W2118300983","https://openalex.org/W2112962394","https://openalex.org/W2109507516","https://openalex.org/W1527862632“]，”abstract_inverted_index“：{”We“：[0]，”present“：[1]，”a“：[2,23,34]，”parameteral“：[3]，”tool“：[4]，”for“：[5113]，”the“：[6,52,57,60,64,96100103115]，”analysis“：[7]，”of“：[8,25,54,59,69,99106]，”distributed“：[9]，”concurrent“：[10,79]，”systems.“：[11,19]，”process“：[12]，”are“：[13,47110]，“内部”：[14]，“表示”：[15]，“作为”：[16]，“证明”：[17]，“转换“：[18,31,72]，“实际上”：[20]，“我们”：[21]，“使用”：[22]，“片段”：[24]，“它们”：[26]，“in”：[27,49,56,85,87]，“which”：[28]，“only”：[29]，“one”：[30]，“exits”：[32]，“from”：[33]，“node”：[35]，“interface”：[36]，“these”：[37]，“相互”：[38]，“并发”。“：[39]，”This“：[40]，”permits“：[41]，”to“：[42,95]，”have“：[43]，”compact“：[44,71]，”representation“：[45]，”that“：[46,62,75,81]，”linear“：[48]，”average“：[50,86]，”with“：【51】，”number“：[53]，”actions“：[55]，”term“：[58]，”language“：【61】，”descriptions“：【63】，”system。“：[65]，”另一个“：[66]，”重要“：[67]，”属性“：[68]，”这些“：[70]，”系统“：[73]，”是“：[74,91]，”它们“：[76]，”保留“：[77]，”真“：[78]，”双模拟，“：[80]，”可以“：[82]，”be“：[83]，”checked“：[84]，”多项式“：[88]，”时间。“：[89]，“参数性”：[90]，“实现”：[92]，“by”：[93]，“resorting”：[94]，“rich”：[97]，“labeling”：[98]，“transitions”：[101]，“encoding”：[102]，“parallel”：[104]，“structure”：[105]，“process”。“：[107]，”这些“：[108]，”标签“：[109]，”然后“：[111]，”\u201cobserved\u201d“：[112]，”检索“：[114]，”交织“：[116]，”因果“：[117]，”和“：[118]，”位置“：[119]，”语义。“：[120]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1514954851“，”counts_by_year“：[{”年份“：2022，”cited_by_count“：1}，{”年“：2013，”cited_by_count”：1}]，”更新日期“：”2024-08-31T12:56:59.908511“，”创建日期“：“2016-06-24”}