{“id”：“https://openalex.org/W2107189908“，”doi“：”https://doi.org/10.1007/978-3-540-31982-5_5“，”title“：”速度双向模拟：统一方法“，”display_name“：”速率双向模拟：一种统一方法“；”publication_year“：2005，”publication_date“：”2005-01-01“，”ids“：{”openalex“：”https://openalex.org/W2107189908“，”doi“：”https://doi.org/10.1007/978-3-540-31982-5_5“，”mag“：”2107189908“}，”language“：”en“，”primary_location“：{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31982-5_5，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-31982-5_5.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}，”type“：”book-chapter“，”type_crossref“：美国“：”铜牌“，”oaurl“：”https://link.springer.com/content/pdf/10.1007%2F978-3-540-31982-5_5.pdf“，”any_repository_has_fulltext“：true}，”作者身份“：[{”作者位置“：”第一个“，”作者“：{”id“：”https://openalex.org/A5060497231“，”display_name“：”Gerald L\u00fcttgen“，”orcid“：”https://orcid.org/0000-0002-0925-4870}，“机构”：[{“id”：https://openalex.org/I52099693“，”display_name“：”约克大学“，”ror“：”https://ror.org/04m01e293“，”country_code“：”GB“，”type“：”教育“，”血统“：[”https://openalex.org/I52099693“]}]，”国家“：[”GB“]，”is_corresponding“：false，”raw_author_name“：”Gerald L\u00fcttgen“，”raw_affiliation_strings“：[“英国约克大学计算机科学系”]，”affiliations“：[{”raw_affiliation_string“：”英国约克学院计算机科学系“，”institution_ids“：[https://openalex.org/I52099693“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5068573305“，”display_name“：”Walter Vogler“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I179225836“，”display_name“：”奥格斯堡大学“，”ror“：”https://ror.org/03p14d497“，”country_code“：”DE“，”type“：“教育”，”世系“：[”https://openalex.org/I179225836“]｝]，”countries“：[”DE“]，”is_corresponding“：false，”raw_author_name“：”Walter Vogler“，”raw_affiation_strings“：[”Institut f\u00fcr Informatik，Universit \u00e4t Augsburg，Augsburg，Germany“]，”affiliations“：[｛”raw_affiation_string“：”Institut f\u00fcr Informatik，Universit \u00e4t Augsburg，Augsburg，Germany“，”institution_ids“：[”https://openalex.org/I179225836“]}]}]，”countries_distinct_count“：2，”institutions_disting_count”：2，“corresponding_author_ids”：[]，”correspounding_institution_ids“：[]、”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”apc_payed“：null，”fwci“：0.336，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_b y_count“：1，”cited_by_percentile_year“：{”min“：64，”max“：71}，”biblio“：{”volume“：null，”issue“：nul，”first_page“：”79“，”last_page“：”94“}，“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.9984，“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/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9927，”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/temoral-logic网站“，”display_name“：”时态逻辑“，”score“：0.492165}]，”concepts“：[{”id“：”https://openalex.org/C2333172，“wikidata”：https://www.wikidata.org/wiki/Q1425985“，”display_name“：”Preorder“，”level“：2，”score“：0.9761485}，{”id“：”https://openalex.org/C135315306，“wikidata”：https://www.wikidata.org/wiki/Q866364“，”display_name“：”双向模拟“，”level“：2，”score“：0.7537668}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（形式语言）“，”level“：2，”score“：0.532102}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.49825168}，{”id“：”https://openalex.org/C77553402，“wikidata”：https://www.wikidata.org/wiki/Q13222579“，”display_name“：”上下限“，”level“：2，”score“：0.42341426}，{”id“：”https://openalex.org/C161771561，“wikidata”：https://www.wikidata.org/wiki/Q1970286“，”display_name“：”进程演算“，”level“：2，”score“：0.42287257}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.42212632}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.41034526}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.31290573}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.2964748}，{”id“：”https://openalex.org/C134306372，“wikidata”：https://www.wikidata.org/wiki/Q7754“，”display_name“：”数学分析“，”level“：1，”score“：0.051713794}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：true，”landing_page_url“：”https://doi.org/10.1007/978-3-540-31982-5_5，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-31982-5_5.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}，{“is_oa”：true，“landing_page_url”：“https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/180，“pdf_url”：https://opus.bibliothek.uni-augsburg.de/opus4/files/180/TB_2004_15.pdf，“源”：{“id”：https://openalex.org/S4306400930“，”display_name“：”OPUS（奥格斯堡大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I119916105“，”“host_organization_name”：“奥格斯堡大学”，“host_ordanization_lineage”：[“https://openalex.org/I119916105“]，”host_organization_lineage_names“：[”Augsburg University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“publishedVersion”，“is_accepted”：true，“is_published”：true}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://doi.org/10.1007/978-3-540-31982-5_5，“pdf_url”：https://link.springer.com/content/pdf/10.1007%2F978-3-540-31982-5_5.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“：[{”score“：0.59，”display_name“：”减少不平等“，”id“：”https://metadata.un.org/sdg/10“}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：13，”referrenced_works“：【”https://openalex.org/W1559986400","https://openalex.org/W1575288406","https://openalex.org/W1973351415","https://openalex.org/W1986296241","https://openalex.org/W2000855267","https://openalex.org/W2001026449","https://openalex.org/W2010241460","https://openalex.org/W2022031828","https://openalex.org/W2022360370","https://openalex.org/W2038722551","https://openalex.org/W2062969942","https://openalex.org/W2155852086","https://openalex.org/W258022877“]，”related_works“：[”https://openalex.org/W4300624557","https://openalex.org/W3020829080","https://openalex.org/W2951374406","https://openalex.org/W2091970733","https://openalex.org/W2084118108","https://openalex.org/W1820233200","https://openalex.org/W1608609850","https://openalex.org/W1569743961","https://openalex.org/W1547524815","https://openalex.org/W1540576960“]，”ngrams_url“：”https://api.openalex.org/works/W2107189908/ngrams网站“，”abstract_inverted_index“：｛”Two“：[0]，”process\u2013代数“：[1]，”方法“：[2,42]，”have“：[3]，”been“：[4]，”development“：[5]，”for“：[6]，”comparising“：[7]，”Two“：[8，76]，”bisimulation\u2013等效“：[9]，”processes“：[10，86]，”with“：[11，21]，”尊重“：[12]，”to“：[13，45133]，”speed:“：[14]，“the”：[15，26，75，9810317128]，“one”：[16，27]，“of”：[17，55，63119]，“Moller/Tofts“：[18,81]，“装备”：[19]，“动作”：[20]，“下限”：[22,89]，“时间”：[23,32,92]，“界限”，：[24]，“while”：[25]，“by”：[28,43,60,80]，“L\u00fcttgen/Vogler”：[29,83]，“考虑”：[30]，“上限”：[31,91]，“边界”：[33,93]，“代替。“：[34]，“This”：[35]，“paper”：[36]，“sheds”：[37]，“new”：[38]，“light”：[39118]，“on”：[40]，“both”：[41,88]，“testinging”：[44]，“their”：[46]，“close”：[47]，“relationship”。“：[48]，“我们”：[49]，“介绍”：[50]，“a”：[51,61109113]，“一般”：[52]，“直观”：[53]，“概念”：[54]，“u201cfaster\u2013than\u201d，”：[56]，“其中”：[57126]，“是”：[58107]，“形式化”：[59]，“理念”：[62]，“摊销”：[64104129]，“比2013快”：[65,77105130]，“预订单。出现“：[66]，“When”：[67]，“closing”：[68]，“this”：[69120]，“preorder”：[70106111131]，“under”：%71125]，“all”：[72]，“contexts”，“：[73]，“exactly”：[74]，“preorders”：[78]，“investived”：[79]，“and”：[82,90]。“：[84]，”对于“：[85]，”合并“：[87]，”我们“：[94122]，”也“：[95]，”显示“：[96]，”那“：[97]，”最大“：[99]，”预语法“：[100]，”包含“：[101]，”在“：[102]，”不“：[108]，”适当“：[110]，”但是“：[112]，”定时“：[114]，”双模拟。“：[115]，”In“：[116]，”result“：[21]，”systemally“：[123]，”investive“：[124]，”环境“：[127]，”degrades“：[132]，”an“：[134]，”等价。“：[135]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2107189908“，”counts_by_year“：[]，”updated_date“：”2024-06-23T06:09:05.836392“，”创建日期“：”2016-06-24“}