{“id”：“https://openalex.org/W4224297410“，”doi“：”https://doi.org/10.1145/3529535，“title”：“获得并行组合的有限公理化需要两个二进制运算符吗？”？，“display_name”：“获得并行组合的有限公理化需要两个二进制运算符吗？”？“，”“publication_year”：2022，“publication_date”：“2022-10-20”，“ids”：{“openalex”：“https://openalex.org/W4224297410“，”doi“：”https://doi.org/10.1145/3529535“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3529535“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S117153874“，”display_name“：”计算逻辑上的ACM事务“，”issn_l“：”1529-3785“，”isn“：[”1529-37.85“，“1557-945X”]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”article“，”type_crossref“：“jornal-article”，“indexed_in”：[”crossref“]，‘open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：“”https://pure.tue.nl/ws/files/249764793/352953.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5041913577“，”display_name“：”Luca Aceto“，”orcid“：”https://orcid.org/0000-0002-2197-3018}，“机构”：[{“id”：https://openalex.org/I4210150763“，”display_name“：”Gran Sasso科学研究所“，”ror“：”https://ror.org/043qcb444“，”country_code“：”IT“，”type“：“教育”，”世系“：[”https://openalex.org/I160013858","https://openalex.org/I4210150763“]}，{”id“：”https://openalex.org/I123185442“，”display_name“：”雷克雅夫\u00edk大学“，”ror“：”https://ror.org/05d2kyx68“，”country_code“：”IS“，”type“：”教育“，”血统“：[”https://openalex.org/I123185442“]}]，”国家“：[”IS“，”IT“]，”IS_corresponding“：false，”raw_author_name“：”Luca Aceto“，”raw _ afiliation_strings“：[“冰岛雷克雅未克大学和Gran Sasso科学研究所，冰岛雷克雅夫\u00edk”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5065420986“，”display_name“：”Valentina Castiglioni“，”orcid“：”https://orcid.org/0000-0002-8112-6523}，“机构”：[{“id”：https://openalex.org/I123185442“，”display_name“：”雷克雅夫\u00edk大学“，”ror“：”https://ror.org/05d2kyx68“，”country_code“：”IS“，”type“：“教育”，”世系“：[”https://openalex.org/I123185442“]}]，”国家“：[”IS“]，”IS_corresponding“：false，”raw_author_name“：”Valentina Castiglioni“，”raw _ afiliation_strings“：[“冰岛雷克雅未克大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5078610814“，”display_name“：”Wan Fokkink“，”orcid“：”https://orcid.org/0000-0001-7443-8978}，“机构”：[{“id”：https://openalex.org/I865915315“，”display_name“：”阿姆斯特丹Vrije Universiteit“，”ror“：”https://ror.org/008xxew50“，”country_code“：”NL“，”type“：”教育“，”血统“：[”https://openalex.org/I865915315“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”Wan Fokkink“，”raw _affiliation_strings“：[“荷兰阿姆斯特丹Vrije大学”]}，{“author_position”：“middle”，“author”：{“id”：“https://openalex.org/A5016540152“，”display_name“：”Anna Ing\u00f3lfsd\u00f3ttir“，”orcid“：”https://orcid.org/0000-0001-8362-3075}，“机构”：[{“id”：https://openalex.org/I123185442“，”display_name“：”雷克雅夫\u00edk大学“，”ror“：”https://ror.org/05d2kyx68“，”country_code“：”IS“，”type“：“教育”，”世系“：[”https://openalex.org/I123185442“]}]，”国家“：[”IS“]，”IS_corresponding“：false，”raw_author_name“：”Anna Ing\u00f3lfsd\u00f 3ttir“，”raw _ afiliation_strings“：[“冰岛雷克雅未克大学”]}，{“author_position”：“last”，“author”：{“id”：“https://openalex.org/A5067908378“，”display_name“：”Bas Luttik“，”orcid“：”https://orcid.org/0000-0001-6710-8436}，“机构”：[{“id”：https://openalex.org/I83019370“，”display_name“：”埃因霍温理工大学“，”ror“：”https://ror.org/02c2kyt77“，”country_code“：”NL“，”type“：”教育“，”血统“：[”https://openalex.org/I83019370“]}]，”国家“：[”NL“]，”is_corresponding“：false，”raw_author_name“：”Bas Luttik“，”raw _affiliation_strings“：[“荷兰埃因霍温理工大学”]}]，”countries_distict_count“：3，”institutions_distinct_count“：4，”corresponding_author_ids“：[]，”corresponding_institution_ids”：[]、“apc_list”：null，“apc_payed”：nul，“has_fulltext”：正确，“fulltext_origin“：”pdf“，”cited_by_count“：0，”cited_by_percentile_year“：{”min“：0”，“max”：67}，“biblio”：{“volume”：“23”，“issue”：“4”，“first_page”：“1”，“last_page”：”56“}，”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“：”物理科学“}}，”主题“：[{”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.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/T11567“，”display_name“：”自动机理论和形式语言“，”score“：0.9978，”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/synchronizing-automata网站“，”display_name“：”Synchronizing Automata“，”score“：0.504056}]，”concepts“：[{”id“：”https://openalex.org/C197129107，“wikidata”：https://www.wikidata.org/wiki/Q1921621“，”display_name“：”Merge（版本控制）“，”level“：2，”score“：0.81459355}，{”id“：”https://openalex.org/C21513729，“wikidata”：https://www.wikidata.org/wiki/Q5156798“，”display_name“：”合成运算符“，”level“：4，”score“：0.61770093}，{”id“：”https://openalex.org/C33923547，“wikidata”：https://www.wikidata.org/wiki/Q395“，”display_name“：”数学“，”等级“：0，”分数“：0.60929394}，{”id“：”https://openalex.org/C48372109，“wikidata”：https://www.wikidata.org/wiki/Q3913“，”display_name“：”二进制数“，”level“：2，”score“：0.5902006}，{”id“：”https://openalex.org/C168773036网址，“wikidata”：https://www.wikidata.org/wiki/Q264164“，”display_name“：”递归（计算机科学）“，”level“：2，”score“：0.5894524}，{”id“：”https://openalex.org/C17020691，“wikidata”：https://www.wikidata.org/wiki/Q139677“，”display_name“：”运算符（生物学）“，”level“：5，”score“：0.51129484}，{”id“：”https://openalex.org/C2776235265，“wikidata”：https://www.wikidata.org/wiki/Q18392052“，”display_name“：”Fragment（logic）“，”level“：2，”score“：0.4798519}，{”id“：”https://openalex.org/C185529760，“wikidata”：https://www.wikidata.org/wiki/Q164307“，”display_name“：”二进制操作“，”level“：2，”score“：0.4728784}，{”id“：”https://openalex.org/C65180967，“wikidata”：https://www.wikidata.org/wiki/Q130901“，”display_name“：”二进制关系“，”level“：2，”score“：0.4414127}，{”id“：”https://openalex.org/C40231798，“wikidata”：https://www.wikidata.org/wiki/Q1333743“，”display_name“：”合成（语言）“，”level“：2，”score“：0.42122933}，{”id“：”https://openalex.org/C161771561，“wikidata”：https://www.wikidata.org/wiki/Q1970286“，”display_name“：”进程演算“，”level“：2，”score“：0.4201827}，{”id“：”https://openalex.org/C136119220，“wikidata”：https://www.wikidata.org/wiki/Q1000660“，”display_name“：”字段上的代数“，”level“：2，”score“：0.3721912｝，｛”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.3240835}，{”id“：”https://openalex.org/C118615104，“wikidata”：https://www.wikidata.org/wiki/Q121416“，”display_name“：”离散数学“，”level“：1，”score“：0.29971296}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.27008188}，{”id“：”https://openalex.org/C202444582，“wikidata”：https://www.wikidata.org/wiki/Q837863“，”display_name“：”纯数学“，”level“：1，”score“：0.2676984}，{”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.25868154}，{”id“：”https://openalex.org/C94375191，“wikidata”：https://www.wikidata.org/wiki/Q11205“，”display_name“：”算术“，”level“：1，”score“：0.16471776}，{”id“：”https://openalex.org/C82916341，“wikidata”：https://www.wikidata.org/wiki/Q6934990“，”display_name“：”乘法运算符“，”level“：3，”score“：0.09900668}，{”id“：”https://openalex.org/C173608175，“wikidata”：https://www.wikidata.org/wiki/Q232661“，”display_name“：”并行计算“，”level“：1，”score“：0.081994}，{”id“：”https://openalex.org/C62799726，“wikidata”：https://www.wikidata.org/wiki/Q190056“，”display_name“：”Hilbert space“，”level“：2，”score“：0.077349365｝，｛”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C185592680，“wikidata”：https://www.wikidata.org/wiki/Q2329“，”display_name“：”Chemistry“，”level“：0，”score“：0.0}，{”id“：”https://openalex.org/C41895202，“wikidata”：https://www.wikidata.org/wiki/Q8162“，”display_name“：”语言学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C138885662，“wikidata”：https://www.wikidata.org/wiki/Q5891“，”display_name“：”哲学“，”等级“：0，”分数“：0.0}，{”id“：”https://openalex.org/C158448853，“wikidata”：https://www.wikidata.org/wiki/Q425218“，”display_name“：”Repressor“，”level“：4，”score“：0.0}，{”id“：”https://openalex.org/C86339819，“wikidata”：https://www.wikidata.org/wiki/Q407384“，”display_name“：”转录因子“，”level“：3，”score“：0.0｝，｛”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}]，”mesh“：[]，”locations_count“：6，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1145/3529535“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S117153874“，”display_name“：”计算逻辑上的ACM事务“，”issn_l“：”1529-3785“，”isn“：[”1529-37.85“，“1557-945X”]，”is_oa“：false，”is_ in_doaj“：false，”host_organization“：”https://openalex.org/P431031798“，”“host_organization_name”：“计算机协会”，“host_ordanization_lineage”：[“https://openalex.org/P431031798“]，”host_organization_lineage_names“：[”Association for Computing Machinery“]，“type”：“journal”}，“license”：null，“licence_id”：null，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“https://pure.tue.nl/ws/files/249764793/352953.pdf，“pdf_url”：https://pure.tue.nl/ws/files/249764793/352953.pdf“，”source“：null，”license“：”public-domain“，”licence_id“：”https://openalex.org/licenses/public-domain网站“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://research.vu.nl/ws/files/218584244/Are_Two_Binary_Operators_Necessary_to_Obtain_a_Finite_Axiomatition_of_Parallel_Composition.pdf，“pdf_url”：https://research.vu.nl/ws/files/218584244/Are_Two_Binary_Operators_Necessary_to_Obtain_a_Finite_Axiomatition_of_Parallel_Composition.pdf“，”source“：null，”license“：”public-domain“，”licence_id“：”https://openalex.org/licenses/public-domain网站“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://research.tue.nl/en/publications/51913b82-d58e-4839-b0c9-2b3c188f4e21，“pdf_url”：https://research.tue.nl/files/249764793/3529535.pdf“，”source“：null，”license“：”public-domain“，”licence_id“：”https://openalex.org/licenses/public-domain网站“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”https://hdl.handle.net/1871.1/f21e83f6-a343-4eda-9a5b-7214f30f117d，“pdf_url”：https://research.vu.nl/files/218584244/Are_Two_Binary_Operators_Necessary_to_Obtain_a_Finite_Axiomatiation_of_Parallel_Composition.pdf“，”source“：null，”license“：”public-domain“，”licence_id“：”https://openalex.org/licenses/public-domain网站“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，{”is_oa“：true，”landing_page_url“：”http://arxiv.org/abs/2010.01943，“pdf_url”：http://arxiv.org/pdf/2010.01943，“源”：{“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“：[”康奈尔大学“]，“type”：“repository”}，“license”：“public-domain”，“licence_id”：“https://openalex.org/licenses/public-domain网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}]，”best_oa_location“：{”is_oa“：true，”landing_page_url“：”https://pure.tue.nl/ws/files/249764793/352953.pdf，“pdf_url”：https://pure.tue.nl/ws/files/249764793/352953.pdf“，”source“：null，”license“：”public-domain“，”licence_id“：”https://openalex.org/licenses/public-domain网站“，”version“：”publishedVersion“，”is_accepted“：true，”is_published“：true}，”sustainable_development_goals“：[]，”grants“：[]，”datasets“：]，”versions“：[https://openalex.org/W143797383","https://openalex.org/W1488664597","https://openalex.org/W1494567035","https://openalex.org/W1533525390","https://openalex.org/W1547562281","https://openalex.org/W1594574791","https://openalex.org/W1868341999","https://openalex.org/W1966112122","https://openalex.org/W1972478730","https://openalex.org/W1978469611","https://openalex.org/W1994350081","https://openalex.org/W2063465006","https://openalex.org/W2070157304","https://openalex.org/W2095975761","https://openalex.org/W2098737431","https://openalex.org/W2098981343","https://openalex.org/W2105135809","https://openalex.org/W2105715274","https://openalex.org/W2108192909","https://openalex.org/W2113391296","https://openalex.org/W2119820724","https://openalex.org/W2120948330","https://openalex.org/W2126092129网址","https://openalex.org/W2132282999","https://openalex.org/W2135324040","https://openalex.org/W2137865376","https://openalex.org/W2137908781","https://openalex.org/W2158942489","https://openalex.org/W2164504930","https://openalex.org/W2165101123","https://openalex.org/W2198419478","https://openalex.org/W2222296167","https://openalex.org/W258022877","https://openalex.org/W2973264323","https://openalex.org/W2975938706","https://openalex.org/W2979873466","https://openalex.org/W2983924918","https://openalex.org/W298644526","https://openalex.org/W2996127512","https://openalex.org/W3013492721","https://openalex.org/W3082183843","https://openalex.org/W3127546804","https://openalex.org/W3180373451","https://openalex.org/W4205336576","https://openalex.org/W4205992029","https://openalex.org/W4210639184","https://openalex.org/W4211195649","https://openalex.org/W4287646052“]，”related_works“：[”https://openalex.org/W591875192","https://openalex.org/W4387601200","https://openalex.org/W4319150983","https://openalex.org/W4297803221","https://openalex.org/W4200490806","https://openalex.org/W3037203475","https://openalex.org/W2095502919","https://openalex.org/W2029837744","https://openalex.org/W2022964014","https://openalex.org/W2022872574“]，”ngrams_url“：”https://api.openalex.org/works/W4224297410/ngrams“，”“abstract_inverted_index”：{“Bergstra”：[0]，“and”：[1,19,39,94112118]，“Klop”：[2]，“have”：[3]，“shown”：[4]，“that”：[5,25,44,54120]，“bisimility”：[6,36130]，“has”：[7]，“a”：[8,32,75126]，“finited”：[9,33,76127]，“equational”：[10]，“axiomatisation”：[11,34,77128]，“over”：[12,37]，“ACP/CCS”：[13]，“扩展”：[14]，“带”：[15]，“the”：[16,59,87,91106132]，“binary“：[17,67123]，“left”：[18]，“communication”：[20]，“merge”：[21,50]，“operators”。“：[22]，“Moller”：[23]，“proved”：[24]，“auxiliary”：[26,6610122]，“operators”：[27111]，“are”：[28]，“necessary”：[29]，“to”：[30,53,71,74,82105115]，“get”：[31]，“of”：[35,61,78,90,97109129]，“CCS，”：[38]，“Aceto”：[40]，“et”：[41]，“al.”：[42]，“show”：[43]，“this”：[45,84]，“剩余”：[46]，“真”：[47]，“当”：[48]，“轩尼诗\u2019s”：[49]，“是”：[51,64]，“添加”：[52]，“语言。“：[55]，”这些“：[56]，”结果“：[57]，”提出“：[58]，”问题“：[60，85]，”是否“：[62]，”有“：[63]，”一“：[65]，”运算符“：[68124]，”其“：[69]，”加法“：[70]，”CCS“：[72]，”引线“：[73]，”二相似性。“：[79]，“我们”：[80,99]，“贡献”：[81]，“回答”：[83]，“in”：[86131]，“简化”：[88133]，“设置”：[89134]，“递归-，”：[92]，“重新标记-，”:[93]，“无限制”：[95]，“片段”：[96]，“CCS。“：[98]，”制定“：[100]，”三“：[101138]，”自然“：[102]，”假设“：[103]，”相关“：[104]，”操作“：[107]，”语义“：[108]，”他们的“：[113]，”关系“：[114]，”平行“：[116]，”组成“：[117]，”证明“：[119]，”一“：[121]，”促进“：[125]，”不能“：[135]，”满足“：[136]，”全部“：[137]，”假定。“：[139]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W4224297410“，”counts_by_year“：[]，”updated_date“：”2024-05-22T22:48:28.071697“，”created_date:“2022-04-26”}“