｛“id”：“https://openalex.org/W2077019667“，”doi“：”https://doi.org/10.1145/2603088.2603149“，”title“：”Coinduction up-to in a fibronal setting“，”display_name“：”Coinduction up-to in an fibronalial settings“，”publication_year“：2014，”publication_date“：”2014-07-14“，”ids“：{”openalex“：”https://openalex.org/W2077019667“，”doi“：”https://doi.org/10.1145/2603088.2603149“，”mag“：”2077019667“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2603088.2603149“，”pdf_url“：null，”source“：nul，”license“：null/”license_id“：nulse，”version“：null，”is_accepted“：false，”is_published“：false}，”type“：”preprint“，”type_crossref“：“procedings-article”，”indexed_in“：[”arxiv“，”crossref“，”datacite“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”https://hal.science/hal-00936488/document网站“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”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 _affiliation_strings“：[“Laboratoire de l'Informatique du Parall\u00e9lisme”，“Preuves et Langages”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5087070796“，”display_name“：”Daniela Petri\u015fan“，”orcid“：null}，”institutions“：[{”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“：”Daniela Petri\u015fan“，”raw _affiliation_strings“：[“Laboratoire de l'Informatique du Parall\u00e9lisme”，“Preuves et Langages”]}，{“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”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5015520868“，”display_name“：”Jurrian 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“]｝]，”countries“：[”CZ“]，”is_corresponding“：false，”raw_author_name“：”Jurriaan Rot“，”raw_affiation_strings“：[”莱顿高级计算机科学研究所[莱顿]“]｝]，”countries_destict_count“：2，”institutes_dict_count“：2，”corresponding_author_ids“：[]，”corresponding_institution_ids“：[]，”apc_list“：null，”apc_payed“：null，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：36，”cited_by_percentile_year“：{”min“：95，”max“：96}，”biblio“：{-”volume“：null，”issue“：nul，”first_page“：null，”last_page“：null}，“is_retracted”：false，“is_paratext”：false，“primary_topic”：{“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“：”Physical Sciences“｝｝，”topics“：[｛”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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9933，”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/model-checking“，”display_name“：”模型检查“，”score“：0.4921}]，”concepts“：[{”id“：”https://openalex.org/C40220748，“wikidata”：https://www.wikidata.org/wiki/Q4227156“，”display_name“：”Coinduction“，”level“：3，”score“：0.9891355}，{”id“：”https://openalex.org/C135315306，“wikidata”：https://www.wikidata.org/wiki/Q866364“，”display_name“：”双向模拟“，”level“：2，”score“：0.85703284}，{”id“：”https://openalex.org/C39920170，“wikidata”：https://www.wikidata.org/wiki/Q693083“，”display_name“：”健全“，”等级“：2，”分数“：0.78657657}，{”id“：”https://openalex.org/C78023250，“wikidata”：https://www.wikidata.org/wiki/Q657596“，”display_name“：”一元运算“，”level“：2，”score“：0.6058692}，{”id“：”https://openalex.org/C2778249326，“wikidata”：https://www.wikidata.org/wiki/Q1777803“，”display_name“：”Coalgebra“，”level“：3，”score“：0.5846049}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5789404}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.5328375}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.47662058}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4576295}，{”id“：”https://openalex.org/C2777212361，“wikidata”：https://www.wikidata.org/wiki/Q5127848“，”display_name“：”类（哲学）“，”级别“：2，”分数“：0.45092672}，{”id“：”https://openalex.org/C5274069，“wikidata”：https://www.wikidata.org/wiki/Q2285707“，”display_name“：”类别变量“，”level“：2，”score“：0.4351909}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.3591951}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.3439746}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”“display_name”“：”“域上的代数”“，”level“：2，”score“：0.2930663}，{”id“：”https://openalex.org/C108710211，“wikidata”：https://www.wikidata.org/wiki/Q11538“，”display_name“：”数学证明“，”level“：2，”score“：0.21446559}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.124403924}，{”id“：”https://openalex.org/C154945302，“wikidata”：https://www.wikidata.org/wiki/Q11660“，”display_name“：”人工智能“，”level“：1，”score“：0.115694076}，{”id“：”https://openalex.org/C2524010，“wikidata”：https://www.wikidata.org/wiki/Q8087“，”display_name“：”Geometry“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C119857082，“wikidata”：https://www.wikidata.org/wiki/Q2539“，”display_name“：”机器学习“，”level“：1，”score“：0.0｝]，”mesh“：[]，”locations_count“：10，”locations“：[｛”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/2603088.2603149“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“https://hal.science/hal-00936488，“pdf_url”：https://hal.science/hal-00936488/document网站，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（科学传播中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”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://arxiv.org/abs/1401.6675，“pdf_url”：https://arxiv.org/pdf/1401.6675，“源”：{“id”：https://openalex.org/S4306400194“，”display_name“：”arXiv（康奈尔大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I205783295“，”“host_organization_name”：“康奈尔大学”，“host_organization_lineage”：[“https://openalex.org/I205783295“]，”host_organization_lineage_names“：[”Cornell University“]，“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-00936488v2/file/cutifs.pdf，“pdf_url”：https://hal.archives-ouvertes.fr/hal-00936488v2/file/cutifs.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（科学传播中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”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.science/hal-00936488v2/file/cutifs.pdf，“pdf_url”：https://hal.science/hal-00936488v2/file/cutifs.pdf，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（科学传播中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”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-00936488，“pdf_url”：https://hal.archives-overtes.fr/hal-00936488/文档，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（科学传播中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”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-00936488v2/document，“pdf_url”：https://hal.archives-ouvertes.fr/hal-00936488v2/document，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（科学传播中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”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.science/hal-00936488v2/document网站，“pdf_url”：https://hal.science/hal-00936488v2/document网站，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（科学传播中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，”type“：”repository“｝，”license“：null，”license_id“：null，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false｝，｛”is_oa“：true，”landing_page_url“：”http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.650.2307，“pdf_url”：http://hal-ens-lyon.archives-ouvertes.fr/docs/00/99/15/12/PDF/cutifs.PDF，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，{“is_oa”：false，“landing_page_url”：“https://api.datacite.org/dois/10.48550/arxiv.1401.6675“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S4393179698“，”display_name“：”DataCite API“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/I4210145204“，”“host_organization_name”：“DataCite”，“host_organization_lineage”：[“https://openalex.org/I4210145204“]，”host_organization_lineage_names“：[”DataCite“]，“type”：“metadata”}，“license”：null，“licence_id”：null，“version”：null}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://hal.science/hal-00936488，“pdf_url”：https://hal.science/hal-00936488/document网站，“源”：{“id”：https://openalex.org/S4306402512“，”display_name“：”HAL（科学传播中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“法国国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”法国国家科学研究中心“]，“type”：“repository”}，“license”：null，“licence_id”：nul，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}，”sustainable_development_goals“：[]，”grants“：{”funder“：”https://openalex.org/F4320320883“，”funder_display_name“：”Recherche国家机构“，”award_id“：null}，{”funder“：”https://openalex.org/F4320321800“，”funder_display_name“：”Nederlandse Organisatie voor Wetenschappelijk Onderzoek“，”award_id“：”612.063.920“}]“数据集”：[]，“版本”：[“https://openalex.org/W2077019667","https://openalex.org/W3105911650“]，”referenced_works_count“：22，”referrenced_works“：[”https://openalex.org/W1485602247","https://openalex.org/W2007281030","https://openalex.org/W2010924417","https://openalex.org/W2045982128","https://openalex.org/W2046978930","https://openalex.org/W2048826020","https://openalex.org/W2057843304","https://openalex.org/W2085226568","https://openalex.org/W2086788473","https://openalex.org/W2104717233","https://openalex.org/W2108446683","https://openalex.org/W2126431612","https://openalex.org/W2128995870","https://openalex.org/W2135333778","https://openalex.org/W2139427429","https://openalex.org/W2145576118","https://openalex.org/W2588294347","https://openalex.org/W2606036170","https://openalex.org/W2949155565","https://openalex.org/W4211195649","https://openalex.org/W4245071229","https://openalex.org/W4296395898“]，”related_works“：[”https://openalex.org/W4246668894","https://openalex.org/W2518082944","https://openalex.org/W2468444917","https://openalex.org/W2463782052","https://openalex.org/W2156829867","https://openalex.org/W2126431612","https://openalex.org/W2046125821","https://openalex.org/W1562440999","https://openalex.org/W1541732450","https://openalex.org/W1488076266“]，”ngrams_url“：”https://api.openalex.org/works/W2077019667/ngrams网站“，”“abstract_inverted_index”：{“双向模拟”：[0]，“up-to”：[1,47]，“增强”：[2]，“the”：[3,23,34,66,84]，“coinductive”：[4,59]，“proof”：[5,11]，“method”：[6]，“for”：[7,13,51,54,75,88]，“bisimility”：[8]，“supply”：[9]，“efficiency”：[10]，“technologies”：[12,27,48,74]，“checking”：[14]，“属性“：[15]，”of“：[16,19,25,37,58,68,83,95]，”different“：[17]，”种类“：[18]，”系统。“：[20]，“We”：[21]，“prove”：[22]，“soundness”：[24]，“such”：[26]，“in”：[28]，“a”：[29,55,81,91]，“fibrational”：[30]，“setting，”：[31]，“building”：[32]，“on”：[33]，“sential”：[35]，“work”：[3]，“Hermada”：[38]，“and”：[39,78,90]，“Jacobs”。“：[40]，”This“：[41]，”allows“：[42]，”us“：[43]，”to“：[44]，”systemally“：[45]，”getable“：[46,72]，”not“：[49]，”only“：[50]，”bisimility“：[52]，“but”：[53]，”large“：[56]，”class“：[57]，”predicates“：[60,77]，”modeled“:[61]，”as“：[62]，”coalebras。“：[63]，”By“：[64]，”tuning“：[65]，”parameters“：[67]，”our“：/69]，”framework“，：[70]，”we“：/71]，”novel“：%73]，”uninary“：[76]，”notal“：[79]，”automata“：[80]，”variant“：[82]，”GSOS“：[85]，”rule“：[86]，”format“：[87]，”similarity“，”：[89]，“new”：[92]，”catorical“：/93]，“治疗”：[94]，“弱”：[96]，“相似性”。“：[97]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W2077019667“，”“counts_by_year”：[{“年份”：2024，”“cited_by_count”：2}，{“年度”：2023，”“cited_by_cunt”：1}，}“年”：2022，”“cited_by-count”“：4}，”“年份”“：2021，”“icted_by/count”“年份”：2016，“引用_ by_count”：3}，{“年份”:2015，“引用_by_counts”：6}，}“年份“：2014，”引用_ by-count“：2}]，“updated_date”：“2024-05-15T11:19:34.598163”，“创建日期”：“2016-06-24”}