{“id”：“https://openalex.org/W3178711512“，”doi“：”https://doi.org/10.109/lics52264.2021.9470758“，”title“：”异步模板游戏和2类灰度乘积“，”display_name“：”非同步模板游戏和两类灰度乘法“，”publication_year“：2021，”publiation_date“：”2021-06-29“，”ids“：{”openalex“：”https://openalex.org/W3178711512“，”doi“：”https://doi.org/10.109/lics52264.2021.9470758“，”mag“：”3178711512“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics52264.2021.9470758“，”pdf_url“：null，”source“：null，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”preprint“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”https://inria.hal.science/hal-03455968/document（英文）“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5072501930“，”display_name“：”Paul-Andr\u00e9 Melli\u00e8s“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210117673“，”display_name“：”计算机科学基础研究所“，”ror“：”https://ror.org/02krdtz55“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1294671590","https://openalex.org/I204730241","https://openalex.org/I4210089394","https://openalex.org/I4210117673","https://openalex.org/I4210139971“]}，{”id“：”https://openalex.org/I1294671590“，”display_name“：”法国国家科学研究中心“，”ror“：”https://ror.org/02feahw73“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1294671590“]}]，”国家“：[”FR“]，”is_corresponding“：true，”raw_author_name“：”Paul-Andre Mellies“，”raw _affiliation_strings“：[“CNRS，巴黎大学，法国信息基金会研究所”]}]“countries_distiction_count”：1，”institutions_distice_count“：2，”corresponding_author_ids“：]”https://openalex.org/A5072501930“]，”对应的机构ID“：[”https://openalex.org/I4210117673","https://openalex.org/I1294671590“]，”apc_list“：null，”apc _ paid“：null，”has_fulltext“：true，”fulltext_origin“：”pdf“，”cited_by_count“：2，”ciped_by_percentile_year“：{”min“：72，”max“：77}，”biblio“：{“volume”：nullhttps://openalex.org/T10126“，”“display_name”：“程序分析和验证技术”，“score”：0.9995，“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.9995，“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/T11010“，”display_name“：”逻辑编程与知识表示“，”score“：0.9944，”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/T10622“，”“display_name”：“量子力学基础与解释”，“score”：0.9933，“subfield”：{“id”：“https://openalex.org/subfields/3107“，”display_name“：”原子分子物理与光学“}，”字段“：{”id“：”https://openalex.org/fields/31网址“，”display_name“：”物理学和天文学“}，”域“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.475366}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.5824871}，{”id“：”https://openalex.org/C51255310网址，“wikidata”：https://www.wikidata.org/wiki/Q1163016“，”display_name“：”张量积“，”level“：2，”score“：0.5810521}，{”id“：”https://openalex.org/C151319957，“wikidata”：https://www.wikidata.org/wiki/Q752739“，”display_name“：”异步通信“，”level“：2，”score“：0.52523017｝，｛”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.4328672}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.36454934}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.1397649}，{”id“：”https://openalex.org/C31258907，“wikidata”：https://www.wikidata.org/wiki/Q1301371“，”display_name“：”计算机网络“，”level“：1，”score“：0.0}]，”mesh“：[]，”locations_count“：5，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.109/lics52264.2021.9470758“，”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.inia.fr/hal-03455968，“pdf_url”：https://inria.hal.science/hal-03455968/document（英文）“，”源“：｛”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”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/2105.04929，“pdf_url”：https://arxiv.org/pdf/2105.04929“，”源“：｛”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.inria.fr/hal-03455968/文档，“pdf_url”：https://hal.inia.fr/hal-03455968/document“，”源“：｛”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”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.inia.fr/hal-03455968/file/lics-2021-final-版本-arxiv.pdf，“pdf_url”：https://hal.inia.fr/hal-03455968/file/lics-2021-final-版本-arxiv.pdf“，”源“：｛”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”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｝]，”best_oa_location“：｛”is_oa“：true，”landing_page_url“：”https://hal.inia.fr/hal-03455968，“pdf_url”：https://inria.hal.science/hal-03455968/document（英文）“，”源“：｛”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：nul，”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}，”sustainable_development_goals“：[]，”grants“：【】，“datasets”：【】https://openalex.org/W1571721126","https://openalex.org/W162192092","https://openalex.org/W1995251574","https://openalex.org/W2005437395","https://openalex.org/W2012793824","https://openalex.org/W2024189573","https://openalex.org/W2077270594","https://openalex.org/W2107067818","https://openalex.org/W2146242204","https://openalex.org/W2148722937","https://openalex.org/W2165446401","https://openalex.org/W2414263117","https://openalex.org/W2899662671","https://openalex.org/W2964290204","https://openalex.org/W2965115827","https://openalex.org/W3098957333","https://openalex.org/W4205374018","https://openalex.org/W578297193“]，”related_works“：[”https://openalex.org/W3002753104","https://openalex.org/W2748952813","https://openalex.org/W2600246793","https://openalex.org/W2142036596","https://openalex.org/W2116677773","https://openalex.org/W2077600819","https://openalex.org/W2072657027","https://openalex.org/W2061531152","https://openalex.org/W2007980826","https://openalex.org/W1979597421“]，”ngrams_url“：”https://api.openalex.org/works/W3178711512/ngrams“，”abstract_inverted_index“：｛”In“：[0,34,71]，”his“：[1]，”recent“：[2]，”and“：[3,9,15,24,45,65,65,86117141192213]，”explorative“：[4]，”work“：[5150]，”on“：[6,96151]，”template“：[7,48128180211]，”games“：[8,17,49129]，”linear“：[10186]，”logic“：[11]，”Melli\u00e8s“：[12133]，”defines“：[13]，“连续的”：[14]，“并发的”：[16]，“作为”：[18，22，26，55，59，69197]，“categories“：[19,57,61]，”with“：[2010138164203]，”positions“：[21]，”objects“：/23]，”traphitries“：[25,64]，”morphisms“，“：[27]，”labeled“：[28199]，”by“：[29132168]，”a“：[30135160198]，”specific“：[31]，”synchronization“：[32]，”template。“：[33]，”the“：[35,40,75,80,87,97101111125146155169204]，”present“：[36]，”paper“：[37]，”we“：[38,77]，”bring“：[39]，”idea“：[41]，”one“：【42】，”dimension“：【43】，”higher“：【44】，”advorite“：【46】，”that“：【47100】，”should“：【50】，”not“：51118]，”be“：【52】，”just“：【53】，”defined“：[54]，”一维“：[56]，”但“：[58]，”二维“：[60]，”“：[62,91106127148159183206214]，”位置，“：[63]，”重组“：[66]，”（或“：[67]，”重新安排）“：[68]，”2个单元格。“：[70]，“顺序”：[72]，“到”：[73123142154]，“实现”：[74]，“目的”：[76]，“采取”：[78]，“认真”：[79]，“并行”：[81]，“介于”：[82]，“异步”：[83]，“in”：[84134145175]，“并发”：[85]，“格雷”：[88112207215]，“张量”：[89113170]，“产品”：[90114171]，“2类。“：[92]，”一“：[93]，”技术“：[94]，”难度“：[95]，”方式“：[98177]，”是“：[99115195]，”类别“：[102136162]，”$\\mathbb{S}“：[103]，”=“：[104]，”2$-Cat“：[105]，”小“：[107]，”2类“：[108]，”装备“：[109]，”单体“：[116]，”笛卡尔。“：[119]，”This“：[120]，”prompts“：[121]，”us“：[122]，”extend“：[124]，”framework“：/126]，”original“：[130]，”formulated“：131]，”$\\mathbb{S}$“：[137163]，”finited“：[139]，”limits“：[140]，”upgrade“：[143]，”it“：[144]，”style“：%147]，”Aguiar\u2019s“：%149]，”quantum“：[152]，”groups“：[153]，“more”：[156]，“general”：[157]，“situation”：[158]，“monoid”：[161]，“coreflexive“：[165]，”均衡器“：[166]，”保留“：[167]，”组件化。“：[172]，“我们”：[173]，“构造”：[174]，“这个”：[176]，“一个”：[178]，“异步”：[179210218]，“游戏”：[181]，“语义”：[182]，“乘法”：[184]，“加性”：[185]，“逻辑”：[187]，“（MALL）”：[188]，“其中”：[189]，“每”：[190193]，“公式”：[191]，“证明”：[194]，“解释”：[196]，“2类”：[200]，“装备”：[201]，“分别”，“：[202]，“结构”：[205]，“comonoid“：[208]，”for“：[209217]，”游戏，“：[212]，”双模块“：[216]，”策略。“：[219]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3178711512“，”counts_by_year“：[{”年“：2023，”引用_by_count“：2}]，”更新日期“：”2024-05-16T01:54:31.115955“，”创建日期“：“2021-07-19”}