{“id”：“https://openalex.org/W2606036170“，”doi“：”https://doi.org/10.1017/s096012951500523“，”title“：”Enhanced coalebraic bisimulation“，”display_name“：”增强型coalebrasic bisimultation“，”publication_year“：2015，”publiation_date“：”2015-12-09“，”ids“：{”openalex“：”https://openalex.org/W2606036170“，”doi“：”https://doi.org/10.1017/s096012951500523“，”mag“：”2606036170“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1017/s096012951500523“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S101766102“，”display_name“：”计算机科学中的数学结构“，”issn_l“：”0960-1295“，”isn“：[”09601295“，”1469-8072“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“joural-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”https://hal.science/hal-01288960/document“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5015520868“，”display_name“：”Jurriaan Rot“，”orcid“：”https://orcid.org/0000-0002-1404-6232}，“机构”：[{“id”：https://openalex.org/I4210155092“，”display_name“：”捷克科学院计算机科学研究所“，”ror“：”https://ror.org/0496n6574“，”“country_code”“：”CZ“，”type“：”facility“，”seriance“：[”https://openalex.org/I202391551","https://openalex.org/I4210155092“]}，{”id“：”https://openalex.org/I1341640284“，”display_name“：”Centrum Wiskunde&Informatica“，”err“：”https://ror.org/00x7ekv49“，”“country_code”“：”NL“，”type“：”facility“，”lineage“：[”https://openalex.org/I1341640284","https://openalex.org/I2800991832“]}]，”国家“：[”CZ“，”NL“]，”is_corresponding“：false，”raw_author_name“：”Jurrian Rot“，”raw _affiliation_strings“：[“Centrum voor Wiskunde en Informatica”，“Leiden Institute of Advanced Computer Science[Leiden]”]，“afliations”：[{”raw_affiliation_string“：”Leiden Advanced计算机科学研究所[Leiden]“，”institution_ids“：]”https://openalex.org/I4210155092“]}，{”raw_affiliation_string“：”Centrum voor Wiskunde en Informatica“，”institution_ids“：[”https://openalex.org/I1341640284“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5004609161“，”display_name“：”Filippo Bonchi“，”orcid“：”https://orcid.org/0000-0002-3433-723X}，“机构”：[{“id”：https://openalex.org/I4210144566“，”display_name“：”Parall\u00e9lisme信息实验室“，”ror“：”网址：https://ror.org/04msnz457“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I203339264","https://openalex.org/I4210144566","https://openalex.org/I4210159245“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Filippo Bonchi“，”raw _ afiliation_strings“：[“Laboratoire de l'Informatique du Parall\u00e9lisme”，“Preuves et Langages”]，”affiliations“：[{”raw _affiliation_string“：”Laboratorie de l'国家信息\u00e 9lismE“，”institution_ids“：[https://openalex.org/I4210144566“]}，{”raw_affiliation_string“：”Preuves et Langages“，”institution_ids“：[]}]}、{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5062502864“，”display_name“：”Marcello Bonsangue“，”orcid“：”https://orcid.org/0000-0003-3746-3618}，“机构”：[{“id”：https://openalex.org/I1341640284“，”display_name“：”Centrum Wiskunde&Informatica“，”err“：”https://ror.org/00x7ekv49“，”“country_code”“：”NL“，”type“：”facility“，”lineage“：[”https://openalex.org/I1341640284","https://openalex.org/I2800991832“]}，{”id“：”https://openalex.org/I4210155092“，”display_name“：”捷克科学院计算机科学研究所“，”ror“：”https://ror.org/0496n6574“，”“country_code”“：”CZ“，”type“：”facility“，”seriance“：[”https://openalex.org/I202391551","https://openalex.org/I4210155092“]}]，”countries“：[”CZ“，”NL“]，”is_corresponding“：false，”raw_author_name“：”Marcello Bonsange“，”raw _affiliation_strings“：”Centrum voor Wiskunde en Informatica“，”Leiden Institute of Advanced Computer Science[Leiden]“]，“afliations”：[{“raw_affiliation _string”：“Centrum voor Wiskonde en Informationca”，“institution_ids”：[”https://openalex.org/I1341640284“]}，{”raw_affiliation_string“：”莱顿高级计算机科学研究所[Leiden]“，”institution_ids“：[”https://openalex.org/I4210155092“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5084356882“，”display_name“：”Damien Pous“，”orcid“：”https://orcid.org/0000-0002-1220-4399}，“机构”：[{“id”：https://openalex.org/I4210144566“，”display_name“：”Parall\u00e9lisme信息实验室“，”ror“：”网址：https://ror.org/04msnz457“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I100532134","https://openalex.org/I113428412","https://openalex.org/I1294671590","https://openalex.org/I203339264","https://openalex.org/I4210144566","https://openalex.org/I4210159245“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Damien Pous“，”raw _affiliation_strings“：[“Laboratoire de l'Informatique du Parall\u00e9lisme”，“Preuves et Langages”]，“afliations”：[{“raw_affilition_string”：“Laboratoroire de l'Infomatique du.Parall\u 00e9Lisme”、“institution_ids”：[”https://openalex.org/I4210144566“]}，{”raw_affiliation_string“：”Preuves et Langages“，”institution_ids“：[]}]}、{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5062502864“，”display_name“：”Marcello Bonsangue“，”orcid“：”https://orcid.org/0000-0003-3746-3618}，“机构”：[{“id”：https://openalex.org/I145872427“，”display_name“：”奈梅亨Radboud大学“，”ror“：”https://ror.org/016xsfp80“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I145872427“]}，{”id“：”https://openalex.org/I1341640284“，”display_name“：”Centrum Wiskunde&Informatica“，”err“：”https://ror.org/00x7ekv49“，”“country_code”“：”NL“，”type“：”facility“，”lineage“：[”https://openalex.org/I1341640284","https://openalex.org/I2800991832“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”Jan Rutten“，”raw _affiliation_strings“：[“Centrum voor Wiskunde en Informatica”，“Radboud University[Nijmegen]”]，“affiliations”：[{“raw_affilition_string”：“Radbound University[Nijmegen]”，“institution_ids”：[”https://openalex.org/I145872427“]}，{”raw_affiliation_string“：”Centrum voor Wiskunde en Informatica“，”institution_ids“：[”https://openalex.org/I1341640284“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5100658822“，”display_name“：”Alexandra Silva“，”orcid“：”https://orcid.org/0000-0001-5014-9784}，“机构”：[{“id”：https://openalex.org/I145872427“，”display_name“：”奈梅亨Radboud大学“，”ror“：”https://ror.org/016xsfp80“，”country_code“：”NL“，”type“：“教育”，”世系“：[”https://openalex.org/I145872427“]}，{”id“：”https://openalex.org/I1341640284“，”display_name“：”Centrum Wiskunde&Informatica“，”err“：”https://ror.org/00x7ekv49“，”“country_code”“：”NL“，”type“：”facility“，”lineage“：[”https://openalex.org/I1341640284","https://openalex.org/I2800991832“]｝]，”国家“：[”NL“]，”is_correresponsing“：false，”raw_author_name“：”Alexandra Silva“，”raw_affiation_strings“：[”信息中心“，”拉德布大学[奈梅亨]“]，”附属机构“：[｛”raw_affiation_string“：”拉德布大学[奈梅亨]“，”institution_ids“：[”https://openalex.org/I145872427“]}，{”raw_affiliation_string“：”Centrum voor Wiskunde en Informatica“，”institution_ids“：[”https://openalex.org/I1341640284“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：3，”institutions_disticent_count”：4，”corresponding_author_ids“：[[]，”corresponding_institution_ids”：[]、“apc_list”：null，“apc_payed”：nul，“fwci”：3.34，“has_fulltext”：true，“fulltext_origin”：“pdf”，“cited_by_count”：24，“citation_normalized_percentile”：{“value”：0.9309 42，“is_in_top_1_percent”：假，“is_in_top_10_percent“：true}，”cited_by_percentile_year“：{”min“：92，”max“：93}，“biblio”：{“volume”：“27”，“issue”：“7”，“first_page:”1236“，”last_page“：”1264“}，‘is_retracted’：false，”is_paratext“：false”，“primary_topic”：{“id”：“https://openalex.org/T10126“，”display_name“：”程序分析和验证技术“，”score“：0.9998，”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.9998，”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.9993，“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.9948，”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/keywords/bisimulation（https://openalex.org/keywords/bisimulation）“，”display_name“：”双向模拟“，”score“：0.96981734}，{”id“：”https://openalex.org/keywords/健全性“，”display_name“：”Soundness“，”score“：0.8669356｝，｛”id“：”https://openalex.org/keywords/coiduction网站“，”display_name“：”Coinduction“，”score“：0.86270016}，{”id“：”https://openalex.org/keywords/coalgebra网址“，”display_name“：”Coalgebra“，”score“：0.5873892}，{”id“：”https://openalex.org/keywords/probabilistic-systems网站“，”display_name“：”概率系统“，”score“：0.494949}，{”id“：”https://openalex.org/keywords/conguence（https://openalex.org/关键词/conguenence）“，”display_name“：”同余（几何）“，”score“：0.45090523｝，｛”id“：”https://openalex.org/keywords/extensionality网站“，”display_name“：”Extensionality“，”score“：0.41074842}]，”concepts“：[{”id“：”https://openalex.org/C135315306，“wikidata”：https://www.wikidata.org/wiki/Q866364“，”display_name“：”双向模拟“，”level“：2，”score“：0.96981734}，{”id“：”https://openalex.org/C39920170，“wikidata”：https://www.wikidata.org/wiki/Q693083“，”display_name“：”健全“，”等级“：2，”分数“：0.8669356}，{”id“：”https://openalex.org/C40220748，“wikidata”：https://www.wikidata.org/wiki/Q4227156“，”display_name“：”Coinduction“，”level“：3，”score“：0.86270016}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.6690004}，{”id“：”https://openalex.org/C2780069185，“wikidata”：https://www.wikidata.org/wiki/Q7977945“，”display_name“：”等价（形式语言）“，”level“：2，”score“：0.6311735}，{”id“：”https://openalex.org/C2778249326，“wikidata”：https://www.wikidata.org/wiki/Q1777803“，”display_name“：”Coalgebra“，”level“：3，”score“：0.5873892}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.48769435}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.45865414}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.45693153}，{”id“：”https://openalex.org/C132074034，“wikidata”：https://www.wikidata.org/wiki/Q154210“，”display_name“：”同余（几何）“，”level“：2，”score“：0.45090523}，{”id“：”https://openalex.org/C150355047，“wikidata”：https://www.wikidata.org/wiki/Q965432“，”display_name“：”扩展性“，”级别“：2，”分数“：0.41074842}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”字段代数“，”级别“：2，”分数“：0.3949382}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.3175079}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.3073538}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.30514115｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.23154992}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：10，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1017/s096012951500523“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S101766102“，”display_name“：”计算机科学中的数学结构“，”issn_l“：”0960-1295“，”isn“：[”09601295“，”1469-8072“]，”is_oa“：false，”is-in_doaj“：false，”is_core“：true，”host_organization“：”https://openalex.org/P4310311721“，”“host_organization_name”：“剑桥大学出版社”，“host_ordanization_lineage”：[“https://openalex.org/P4310311721","https://openalex.org/P4310311702“]，”host_organization_lineage_names“：[”剑桥大学出版社“，”剑桥大学“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-01288960，“pdf_url”：https://hal.science/hal-01288960/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://hal.science/hal-01288960/file/ecb.pdf，“pdf_url”：https://hal.science/hal-01288960/file/ecb.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://repository.ubn.ru.nl//bitstream/handle/2066/178510/178510.pdf，“pdf_url”：https://repository.ubn.ru.nl//bitstream/handle/2066/178510/178510.pdf，“源”：{“id”：https://openalex.org/S4306401067“，”display_name“：”Radboud Repository（Radboud-University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I145872427“，”“host_organization_name”：“奈梅亨Radboud大学”，“host_organization_lineage”：[“https://openalex.org/I145872427“]，”host_organization_lineage_names“：[”Radboud University Nijmegen“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/2066/178510，“pdf_url”：https://repository.ubn.ru.nl/bitstream/handle/2066/178510/2/178510.pdf，“源”：{“id”：https://openalex.org/S4306401067“，”display_name“：”Radboud Repository（Radboud-University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I145872427“，”“host_organization_name”：“奈梅亨Radboud大学”，“host_organization_lineage”：[“https://openalex.org/I145872427“]，”host_organization_lineage_names“：[”Radboud University Nijmegen“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://www.cambridge.org/core/journals/mathematical-structures-in-computer science/article/enhanced-collegebraic-bisimulation/C588A590E7DB3A73F1C86487D0F8DE19（网址：https://www.cambridge.org/core/journals/mathematical-structures-in-computer science/article/enhanced-collegebraic-bisimulation/C588A590E7DB3A73F1C86487D0F8DE19），“pdf_url”：https://www.cambridge.org/core/services/aop-cambridge-core/content/view/C588A590E7DB3A73F1C86487D0F8DE19/S0960129515000523a.pdf/div-class-title-enhanced-coalebraic-bisimulation-iv.pdf，“源”：{“id”：https://openalex.org/S4306400850“，”display_name“：”Leiden Repository（Leiden University）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I121797337“，”“host_organization_name”：“莱顿大学”，“host_ordanization_lineage”：[“https://openalex.org/I121797337“]，”host_organization_lineage_names“：[”莱顿大学“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://hdl.handle.net/1887/69169，“pdf_url”：https://schoolrypublications.universiteitleiden.nl/access/item%3A2903702/view，“源”：{“id”：https://openalex.org/S4306401843“，”display_name“：”数据存档和网络服务（DANS）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1322597698“，”“host_organization_name”：“荷兰皇家艺术科学院”，“host_ordanization_lineage”：[“https://openalex.org/I1322597698“]，”host_organization_lineage_names“：[”荷兰皇家艺术与科学院“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-01288960/file/ecb.pdf，“pdf_url”：https://hal.archives-ouvertes.fr/hal-01288960/file/ecb.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-01288960/document，“pdf_url”：https://hal.archives-ouvertes.fr/hal-01288960/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://ir.cwi.nl/pub/23816，“pdf_url”：https://ir.cwi.nl/pub/23816/23816B.pdf，“源”：{“id”：https://openalex.org/S4306401843“，”display_name“：”数据存档和网络服务（DANS）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1322597698“，”“host_organization_name”：“荷兰皇家艺术科学院”，“host_ordanization_lineage”：[“https://openalex.org/I1322597698“]，”host_organization_lineage_names“：[”荷兰皇家艺术与科学院“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://hal.archives-ouvertes.fr/hal-01288960，“pdf_url”：https://hal.science/hal-01288960/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W120538431","https://openalex.org/W1495872178","https://openalex.org/W1506437980","https://openalex.org/W1516346965","https://openalex.org/W1535812899","https://openalex.org/W1539196615","https://openalex.org/W1543688617","https://openalex.org/W1547562281","https://openalex.org/W1553849808","https://openalex.org/W1570949334","https://openalex.org/W1578332044","https://openalex.org/W1582292473","https://openalex.org/W165755327","https://openalex.org/W1808317016","https://openalex.org/W1835362427","https://openalex.org/W1838682714","https://openalex.org/W1966112122","https://openalex.org/W1969279113","https://openalex.org/W1976736255","https://openalex.org/W1996864014","https://openalex.org/W2001748564","https://openalex.org/W2007281030","https://openalex.org/W2010924417","https://openalex.org/W2057843304","https://openalex.org/W2068003272","https://openalex.org/W2070034419","https://openalex.org/W2086788473","https://openalex.org/W2088189323","https://openalex.org/W2101032471","https://openalex.org/W2103294040","https://openalex.org/W2107354844","https://openalex.org/W2126431612","https://openalex.org/W2128995870","https://openalex.org/W2137865376","https://openalex.org/W2153976524","https://openalex.org/W2178359813","https://openalex.org/W2561675875","https://openalex.org/W2602645338","https://openalex.org/W26488867","https://openalex.org/W2714419060","https://openalex.org/W2949155565","https://openalex.org/W2963084494","https://openalex.org/W3021003119","https://openalex.org/W369805404","https://openalex.org/W4211195649","https://openalex.org/W4285719527","https://openalex.org/W81214682“]，”related_works“：[”https://openalex.org/W4297804958","https://openalex.org/W4246668894","https://openalex.org/W2606036170","https://openalex.org/W2468444917","https://openalex.org/W2463782052","https://openalex.org/W2281978270","https://openalex.org/W2156829867","https://openalex.org/W2126431612","https://openalex.org/W1962257018","https://openalex.org/W1541732450“]，”abstract_inverted_index“：{”We“：[0]，”present“：[1]，”a“：[2,17,67]，”systemial“：[3]，”study“：[4]，”of“：[5,20,44,50,76]，”bisimulation-up-to“：[6]，”technologies“：[7]，”for“：[8,16,38,72]，”coalebras.“：[9]，”This“：[10]，”enhanced“：[11]，”the“：[12,48]，”双模拟“：[13,51]，“证明”：[14]，“方法”：[15]，“大”：[18]，“类”：[19]，“状态”：[21]，“基于”：[22]，“系统，“：[23]，”包括“：[24]，”标记“：[25]，”转换“：[26]，”系统“：[27,31]，”但“：[28]，”还“：[29]，”流“：[30]，”和“：[32,58,69]，”加权“：[33]，”自动机。“：[34]，“我们的”：[35]，“方法”：[36]，“允许”：[37]，“合成”：[39]，“推理”：[40]，“关于”：[41]，“稳健性”：[43,49]，“增强。“：[45]，”应用“：[46]，”包括“：[47]，”向上“：[52,55,59]，”到“：[53,56,60]，”双相似性，“：[54]，”等价“：[57]，”同余。“：[61]，”All“：[62]，”in“：[63]，”All“：[64]，”this“：[65]，”给予“：[66]，”强大“：[68]，”模块化“：[70]，”框架“：[71]，”简化“：[73]，”共生产“：[74]，”证明“：[75]，”等价。“：[77]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2606036170“，”“counts_by_year”：[{“年份”：2023，”“cited_by_count”：1}，{“年度”：2022，”“cited_by_cunt”：2}，}“年份“：2020，”“cited_by-count”“：3}，”“年份”“：2019，”“：2015，”cited_by_count“：3}，{“年份”：2014，”cited_by_count”：3}]，”updated_date“：”2024-09-19T18:35:20.628697“，”创建日期“：”2017-04-28“}