{“id”：“https://openalex.org/W2056928795“，”doi“：”https://doi.org/10.1016/j.ic.2009.11.002“，”title“：”弱互模拟对于pCTL公司\u2217型“，”display_name“：”弱互模拟对于pCTL公司\u2217型“，”“publication_year”：2010，“publication_date”：“2010-02-01”，“ids”：{“openalex”：“https://openalex.org/W2056928795“，”doi“：”https://doi.org/10.1016/j.ic.2009.11.002“，”mag“：”2056928795“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.ic-2009年11月002日“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”host_organization_name“：”爱思唯尔BV“，”host_organization_lineage“：[”https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true｝，”type“：”article“，”type_crossref“：”期刊文章“，”indexed_in“：[”crossref“]，”open_access“：｛”is_oa“：true，”oa_status“：”青铜“，”oa_url“：”https://doi.org/10.1016/j.ic.2009.11.002“，”any_repository_has_fulltext“：false}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5001009637“，”display_name“：”Jules Desharnais“，”orcid“：”https://orcid.org/0000-0003-2410-3314}，“机构”：[{“id”：https://openalex.org/I43406934“，”display_name“：”Universit\u00e9 Laval“，”ror“：”https://ror.org/04sjchr03“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I43406934“]}]，”国家“：[”CA“]，”is_corresponding“：false，”raw_author_name“：”Jos\u00e9e Desharnais“，”raw _ afiliation_strings“：[“D\u00e9 partitement D\u2019 Informatique，University \u00e 9 Laval，Qui\u00e9bec，Qui\ u00e9-bec，Canada G1V 0A6”]，“afiliations”：[{“raw_affiliation_string”：“D\u00e9partitement D\u2019加拿大魁北克省魁北克市拉瓦尔大学信息学G1V 0A6“，”institution_ids“：[”https://openalex.org/I43406934“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5057336278“，”display_name“：”Vineet Gupta“，”orcid“：”https://orcid.org/0000-0002-2372-5288}，“机构”：[{“id”：https://openalex.org/I1291425158“，”display_name“：”谷歌（美国）“，”错误“：”https://ror.org/00njsd438“，”country_code“：”US“，”type“：“company”，”lineage“：[”https://openalex.org/I1291425158","https://openalex.org/I4210128969“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Vineet Gupta“，”raw _ afiliation_strings“：[“谷歌，Inc.，2400 Bayshore Parkway，Mountain View，CA 94043，USA”]，”affiliations“：[{”raw _affiliation_strong“：”谷歌，Inchttps://openalex.org/I1291425158“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5056673780“，”display_name“：”Radha Jagadeesan“，”orcid“：null｝，”institutions“：[｛”id“：”https://openalex.org/I118353179“，”display_name“：”德保禄大学“，”ror“：”https://ror.org/04xtx5t16“，”country_code“：”US“，”type“：“教育”，”世系“：[”https://openalex.org/I118353179“]}]，”国家“：[”美国“]，”is_corresponding“：false，”raw_author_name“：”Radha Jagadeesan“，”raw _ afiliation_strings“：[“芝加哥德保禄大学CTI学院，伊利诺伊州芝加哥60604-2287”]，”affiliations“：[{”raw _affiliation_strong“：”芝加哥德保罗大学CTI学校，伊利诺伊尔州606064-2287，美国“，”institution_ids“：]”https://openalex.org/I118353179“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5068822568“，”display_name“：”Prakash Panangaden“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I5023651“，”display_name“：”麦吉尔大学“，”ror“：”https://ror.org/01pxwe438“，”country_code“：”CA“，”type“：“教育”，”世系“：[”https://openalex.org/I5023651“]}]，”国家“：[”CA“]，”is_corresponding“：false，”raw_author_name“：”Prakash Panangaden“，”raw _affiliation_strings“：[“加拿大魁北克省蒙特利尔市麦吉尔大学计算机科学学院H3A 2A7”]，”affiliations“：[{”raw _affiliation_string“：”加拿大魁北克蒙特利尔麦吉尔大学计算科学学院HAA 2A7“，”institution_ids“：[https://openalex.org/I5023651“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：4，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：{“value”：2630，“currency”：“USD”，“value_USD”：2620，“provenance”：“doaj”}，“apc_payed”：null，“fwci”：4.69，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cit”ed_by_count“：29，”引用标准化百分比“：{”value“：0.92177，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：true}，”cited_by_percentile_year“：{”min“：91，”max“：92}，“biblio”：{“volume”：“208”，”issue“：”2“，”first_page“：”203“，”last_page“：”219“}，）is_retracted“：false，”is_paratext“：fald，”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9892，”subfield“：{”id“：”https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T11303“，”“display_name”：“贝叶斯网络中的学习和推理”，“score”：0.9843，“subfield”：{“id”：“https://openalex.org/subfields/1702“，”display_name“：”Artificial Intelligence“｝，”field“：｛”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/bisimulation网站“，”display_name“：”双向模拟“，”score“：0.8374423}，{”id“：”https://openalex.org/keywords/probabilistic-systems网站“，”display_name“：”概率系统“，”score“：0.544762}，{”id“：”https://openalex.org/keywords/probabilistic-learning网站“，”display_name“：”概率学习“，”score“：0.533374}，{”id“：”https://openalex.org/keywords/不精确概率“，”display_name“：”不精确概率“，”score“：0.530922}，{”id“：”https://openalex.org/keywords/非单调推理“，”display_name“：”非单调推理“，”score“：0.528254}，{”id“：”https://openalex.org/keywords/constraint-logic-programming网站“，”display_name“：”约束逻辑编程“，”score“：0.523053}]，”concepts“：[{”id“：”https://openalex.org/C135315306，“wikidata”：https://www.wikidata.org/wiki/Q866364“，”display_name“：”双向模拟“，”level“：2，”score“：0.8374423}，{”id“：”https://openalex.org/C49937458，“wikidata”：https://www.wikidata.org/wiki/Q2599292“，”display_name“：”概率逻辑“，”level“：2，”score“：0.6033283}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.56247926}，{”id“：”https://openalex.org/C98763669，“wikidata”：https://www.wikidata.org/wiki/Q176645“，”display_name“：”Markov链“，”level“：2，”score“：0.52619725}，{”id“：”https://openalex.org/C110729354，“wikidata”：https://www.wikidata.org/wiki/Q185478网址“，”display_name“：”可数集合“，”level“：2，”score“：0.49545133}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.48404855}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.35301316}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.34065568}，{”id“：”https://openalex.org/C105795698，“wikidata”：https://www.wikidata.org/wiki/Q12483“，”display_name“：”Statistics“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：1.”locations“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.ic-2009年11月002日“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”host_organization_name“：”爱思唯尔BV“，”host_organization_lineage“：[”https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1016/j.ic.2009.11.002“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S59933527“，”display_name“：”信息与计算“，”issn_l“：”0890-5401“，”isn“：[”0890-5 401“、”1090-2651“]，”is_oa“：false，”is_ in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310320990“，”host_organization_name“：”爱思唯尔BV“，”host_organization_lineage“：[”https://openalex.org/P4310320990“]，”host_organization_lineage_names“：[”Elsevier BV“]，“type”：“journal”}，“license”：“publisher-specific-oa”，“licence_id”：“https://openalex.org/licenses/publisher-specific-oa“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W138290785","https://openalex.org/W1492711856","https://openalex.org/W1505927408","https://openalex.org/W1511105469","https://openalex.org/W1531625469","https://openalex.org/W1579183220","https://openalex.org/W1588200817","https://openalex.org/W1674596735","https://openalex.org/W1704074244","https://openalex.org/W1736113712","https://openalex.org/W1793726001","https://openalex.org/W1835855307","https://openalex.org/W1865728679","https://openalex.org/W1969553191","https://openalex.org/W1976268573","https://openalex.org/W1978469611","https://openalex.org/W2020150158","https://openalex.org/W2020293036","https://openalex.org/W2026154367","https://openalex.org/W2033810643","https://openalex.org/W2075379212","https://openalex.org/W2100893927","https://openalex.org/W2107471150","https://openalex.org/W2147218830","https://openalex.org/W2156335201","https://openalex.org/W2170611159","https://openalex.org/W2323009482","https://openalex.org/W2464857490","https://openalex.org/W2588049725","https://openalex.org/W2977679477","https://openalex.org/W598880424“]，”related_works“：[”https://openalex.org/W6406787","https://openalex.org/W4206367340","https://openalex.org/W3144317787","https://openalex.org/W2541640833","https://openalex.org/W2125381826","https://openalex.org/W2124122503","https://openalex.org/W2086359902","https://openalex.org/W1587340481","https://openalex.org/W1522712643","https://openalex.org/W1495872178“]，”abstract_inverted_index“：{”We“：[0,21,95116134152176]，”investive“：[1]，”weak“：[2,44111]，”bisimulation“：[3,45112179]，”of“：[4,10,30,38,43,50,99110124149157197]，”probability“：[5159]，”systems“：[6104]，”in“：[7]，”the“：[8,47,51,64,78158164]，”presence“：[9]，”nondeterminism“：[11]，”即“：[12]，”标签“：[13]，”并发“：[14]，”马尔可夫“：[15]，“链”：[16]，“（LCMC）”：[17]，“with”：[18,70,75,83122]，“silent”：[19]，“transitions。“：[20150]，”开发“：[22]，”an“：[23168193]，”方法“：[24]，”基于“：[25]，”on“：[26,77]，”允许“：[27]，”凸“：[28147]，”组合“：[29148]，”计算“：[31]，”类似“：[32]，”to“：[33,90172]，”Segala“：[34]，”and“：[35105127182]，”Lynch\u2019s“：[36]，”use“：[37]，”随机“：[39]，”调度程序。“：[40]，”The“：[41，58142]，”definition“：[42109120]，”destroy“：[46]，”additivity“：[48]，”property“：[49]，”probability“：[52]，”distributions“：[53]，”yield“：[54]，”代替“：[55]，”capacity“：[56，61]，”。“：[57190]，”数学“：[59]，”后面“：[60]，”自然“：[62]，”捕获“：[63]，”直觉“：[65]，”那“：[66118123136178200]，”当“：[67]，”我们“：[68，72]，”交易“：[69]，”不确定性“：[71]，”必须“：[73]，”工作“：[74]，”界限“：[76]，”可能“：[79]，”概率“：[80]，”而不是“：[81]，”：[82]，“他们的”：[84]，“精确”：[85]，“值。“：[86]，“我们的”：[87]，“分析”：[88]，“线索”：[89]，“三个”：[91]，“新”：[92108]，“发展：”：[93]，“\u2022”：[94133151]，“识别”：[96]，“a”：[97107154198]，“表征”：[98]，“u201cimage”：[100]，“有限性\u201d”：[101]，“表示”：[102113129184]，“可数状态”：[103]，“现在”：[106]，“这些”：[114]，“LCMC。“：[115]，”证明“：[117]，”我们的“：[119]，”一致“：[121]，”菲利普，“：[125]，”李“：[126]，”索科尔斯基“：[128]，”有限“：[130]，”状态“：[131]，”系统。“：[132]，”show“：[135177]，”bisimilar“：[137]，”states“：[138]，”have“：[139]，”matching“：[140145]，”computations。“：[141]，“概念”：[143]，“涉及”：[146]，“研究”：[153]，“次要”：[155]，“变体”：[156186]，“逻辑”：[160]，“pCTL”：[161188]，“u2217”：[162189]，“\u2013”：[163]，“变量”：[165]，“产生”：[166]，“来自”：[167]，“额外”：[169]，“路径”：[170]，“公式”：[171]，“地址”：[173]，“动作”“：[174]，”标签。“：[175]，”is“：[180192]，”sound“：[181]，”complete“：[183195]，”this“：[185]，”this“：191]，”extended“：[194]，”version“：[196]，”paper“：[199]，”was“：[201]，”presented“：[202]，”at“：[203]，”CONCUR“：[204]，”2002.“：[205]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2056928795“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：1}，{“年”：2022，”“cited_by_cunt”：2}，}“年“：2020，”“cited_by-count”“：1}，{”“年”“：2018，”“：2014，”cited_by_count“：4}，{“年份”：2013，”cited_by_count，“updated_date”：“2024-08-13T11:46:17.639261”，“创建日期”：“2016-06-24”}