{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2023,1,2]，“日期时间”：“2023-01-02T05:56:47Z”，“时间戳”：1672639007256}，“参考计数”：50，“出版商”：“计算机协会（ACM）”，“问题”：“4”，“资助者”：[{“名称”：“冰岛研究基金”，“奖项”：[“196050-051”]}]，“内容域”：{“domain”：[“dl.acm.org”]，“crossmark-restriction”：true}，“short-container-title”：[”acm Trans.Comput.Logic“]，“published-print”：{”date-parts“：[2022,10,31]]}，”abstract“：”\Bergstra和Klop已经证明了双相似性<\/jats:italic>\n有一个ACP上的有限公理化左<\/jats:italic>\n和\n通信合并运算符。Moller证明了辅助运算符是需要<\/jats:italic>\n来获得CCS和Aceto et \u00a0al上的双相似性的有限公理化。表明当\n轩尼诗\u2019s merge<\/jats:italic>\n被添加到该语言中。这些结果提出了一个问题，即是否存在一个<\/jats:italic>\n辅助\nbinary<\/jats:italic>\n运算符，其添加到CCS导致二相似性的有限公理化。我们有助于在CCS的递归、重新标记和无限制片段的简化设置中回答这个问题。我们提出了三个与辅助算子的操作语义及其与并行组合的关系有关的自然假设，并证明了辅助二元算子在简化设置中促进有限公理化双相似性不能满足所有这三个假设。\n<\/jats:p>“，”DOI“：”10.1145\/3529535“，”type“：”journal-article“，”created“：{”date-parts“：[2022,4,20]]，”date-time“：”2022-04-20T12:10:59Z“，”timestamp“：165045665000}，”page“：0，“标题”：[“获得并行组合的有限公理化需要两个二元运算符吗？“]，”前缀“：”10.1145“，”卷“：”23“，”作者“：[{”ORCID“：”http://\/ORCID.org\/0000-0002-2197-3018“，”authenticated-ORCID“：false，”给定“：”Luca“，”family“：”Aceto“，”sequence“：”first“，”affiliation“：[}”name“：”冰岛雷克雅未克大学和Gran Sasso科学研究所，冰岛雷克雅夫\u00edk，意大利”}]}，{“ORCID”：“”http://\/orcid.org\/00000-0002-8112-6523“，”authenticated-orcid“：false，”given“：”Valentina“，”family“：”Castiglioni“，”sequence“：”additional“，”affiliation“：[{”name“：”冰岛雷克雅未克大学，雷克雅夫\u00edk“}]}，{”orcid“：“，”sequence“：”additional“，”affiliation“：[{”name“：”荷兰阿姆斯特丹Vrije大学“}]}，{”ORCID“：”http://\/ORCID.org\/0000-0001-8362-3075“，”authenticated-ORCID“：false，”given“：“Anna”，”family“：”Ing\u00f3lfsd\u00f3ttir“，”sequence“：”additional“，”affiliance“：[[{“name”：”冰岛雷克雅未克大学“}]}，/0000-0001-6710-8436“，”authenticated-orcid“：false，”given“：”Bas“，”family“：”Luttik“，”sequence“：”additional“，”affiliation“：[{”name“：”Eindhoven University of Technology，The Netherlands“}]}]，”member“：”320“，”published-online“：{”date-parts“：[2022,10,20]]}，”reference“：[[{“key”：“e_3_2_2”，“首页”：“90”，“文章标题”：“我在经典过程代数中最喜欢的一些结果”，“卷”：“81”，“作者”：“Aceto Luca”，“年份”：“2003”，“非结构化”：“Luca Aceto。2003.我最喜欢的一些经典过程代数的结果。牛市。EATCS 81（2003），90\u2013108。”，“新闻标题”：“牛市。EATCS“}，{“key”：“e_1_3_2_3_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1109”\/LICS52264.2021.9470526“}”，{”key“：”e_1_ 3_2_4_2“，”doi-assert-by“：”publisher“，”doi“：”10.1006 \/inco.1994.1040“2010”，“作者”：“埃托·卢卡”，“年份”：“2020年”，“非结构化”：“卢卡·埃托奥，瓦伦蒂娜·卡斯蒂格利奥尼，万·J·福克金，安娜·英格\u00f3lfsd\u00f3ttir，和巴斯·卢蒂克。2020。获得并行组合的有限公理化是否需要两个二进制运算符？CoRR abs \/2010.01943（2020）。“，”journal-title“：”CoRR“}，{“key”：“e_1_3_2_6_2”，“doi-asserted-by”：“publisher”，“doi”：“10.4230\/LIPIcs.CSL.2021.8”}，“key“：”e_1_ 3_2_7_2“，”doi-assert-by“：”publisher“，”doi“：”10.1016\/j.tcs.2011.02.033“}：“10.1007\/3-540-45719-4_17”}，{“key”：“e_1_3_2_9_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.tcs.2004.10.003“}，{“key”：“e_1_3_2_10_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/11601548_18”}，“key“：”e_1_ 3_2_11_2“，”doi-assert-by“：”publisher“，”doi“：”10.1145\/149010.10.1459016/s00236-010-0114-7“}，{”key“：”e_1_3_2_13_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/j.tcs.2006.07.003“}，{“key”：“e_1_3_2_14_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/b978-044482830-9\/50021-7”}，}“keys”：“e_1_3_2_15_2”，”doi-assert-by“：”publisher“，”doi“：”10.1007\/978-09680-3_22“}”，{”key“：“e_ 1_3_2 _16_2”，“publisher”，“doi”：“10.1007\/11817949_22”}，{“key”：“e_1_3_2_17_2”，“doi-asserted-by”：“publisher“，”DOI“：”10.1007\/978-3-540-95891-8_10“}，{“key”：“e_1_3_2_18_2”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1006\/inco.1995.1135”}，“{”key“：”e_1_ 3_2_19_2“，”DOI-assert-by“：”publisher publisher“，”DOI“：”10.1016\/S0019-9958（84）80025-X“}，{”key“：”e_1_3_21_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/0304-3975（85）90088-X“}，{“key”：“e_1_3_2_22_2”，“doi-assert-by”：“publisher”，“doi”：“10.1145\/200836.200876”}，“key“：”e_1_ 3_23_2“，”doi-asserted-by“_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/j.tcs.2019.09.019“}，{”key“：”e_1_3_2_25_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/j.tcs.2019.09.037“}，{”key“：”e_1_ 3_2_26_2“，“”doi-sserted-by”：“publisher”，“doi”：“10.1016\/j.ipl.2020.105947”}，“key”：“e_ 1_3_2 _27_2”，“doi-assert-by”:“publisher”，“”doi：“10.1007\/978-3642-54830-7_19”}、{“key”：“e_1_3_2_28_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0304-3975（85）90093-3”}，{“key”：“e_1_3_2_29_2”，“volume-title”：“概率和移动过程的公理化和类型。（公理化et Types pour des processus probabilistes et mobiles）”，“author”：“Deng Yuxin”，“year”：“2005”，“unstructured”：“Yuxin.Deng.2005。概率过程和移动过程的公理化和类型。（公理化和类型为过程概率和流动性）。博士论文。法国巴黎矿业公司。检索自https://tel.archives-ouvertes.fr//tel-00155225。by“：”publisher“，”doi“：”10.1137\/0217063“}，{”key“：”e_1_3_2_33_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/2455.2460“}，{“key”：“e_1_3_2_34_2”，“doi-assert-by”：“publisher”，“doi”：“10.1145\/360248.360251”}，“key“：”e_1_ 3_2_35_2“，”doi-assered-by“：”publisher“，”doi“：“publisher”，“doi”：“10.1016\/j.tcs.2004.11.019”}，{“key”：“e_1_3_2_37_2”，“doi-asserted-by“：”publisher“，”doi“：”10.7561\/SACS.2020.2.205“}，{“key”：“e_1_3_2_38_2”，“doi-assert-by”：“publisher”，“doi”：“10.1007\/3-540-10235-3”}，“key“：”e_1_ 3_2_39_2“，”volume-title“：”Communication and Concurrency“，”author“：”Milner Robin“，”year“：”1989“，”unstructured“：”Robin Milner.1989。沟通与并发。普伦蒂斯·霍尔。“}，{”key“：”e_1_3_2_40_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1016\/0304-3975（93）90176-T“}”，{“key”：“e_1_ 3_2_41_2”，“volume-title”：“并发公理”，“author”：“Moller Faron”，“year”：“1989”，“unstructured”：“Faron Moller.1989”。并行公理。博士论文。爱丁堡大学计算机科学系。报告CST-59-89.“}，{“key”：“e_1_3_2_42_2”，“doi断言者”：“publisher”，“doi”：“10.1007\/BFB032072”}，{“key”：“e_1_3_2_43_2”，“doi断言者”：“publisher”，“doi”：“10.1109\/LICS.1990.113741”}，{“key”：“e_1_3_2_44_2”，“doi断言者”：“publisher”，“doi”：“10.1007\/BFB017309”}，{“key”：“e_1_3_2_45_2”，““volume-title”：“操作语义学的结构方法”，“author”：“Plotkin-Gordon D.”，“year”：“1981”，“unstructured”：“Gordon D.Plotkin。1981.操作语义的结构方法。报告DAIMI FN-19。奥胡斯大学计算机科学系。“}，{”key“：”e_1_3_2_46_2“，”first page“：“571”，”volume-title“：”Proof，Language，and Interaction，Essays in Honour of Robin Milner“，”author“：”Stark Eugene W“，”year“：”2000“，”unstructured“：”Eugene W.Stark and Scott A.Smolka.2000。有限状态概率过程的一个完整公理系统。在证明、语言和互动中，罗宾·米尔纳的论文。麻省理工学院出版社，571\u2013596。“}，{“key”：“e_1_3_2_47_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/B978-0-7204-0725-9.0040-X”}，}“key”：“e_1_3_2_48_2”，”doi-assert-by“：”publisher“，”doi“：”10.7561\/SACS.2020.1.69“}“doi”：“10.1007\/3-540-57208-2_6”}，{“key”：“e_1_3_2_50_2”，“doi-asserted-by”：“publisher“，”DOI“：”10.1007\/978-3-030-31175-9_9“}，{“key”：“e_1_3_2_51_2”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1109\/LICS.1990.113740”}]，“container-title”：[“ACM Transactions on Computational Logic”]，“original-title“：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/dl.ACM.org\/DOI\/pdf\/10.1145\/3529535“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2023,1,1]]，”date-time“：”2023-01-01T19:31:16Z“，”timestamp“：1672601476000}，”score“：1，”resource“：{primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/3529535”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{”date-ports“：[2022,10,20]]}，“引用计数”：50，“日志发布”：{“issue“：”4“，”published-print“：{”date-parts“：[[2022,10,31]]}}，”alternative-id“：[”10.1145\/3529535“]，”URL“：”http://\\/dx.doi.org\/10.1145\/3525535“，”relationship“：{}，“ISSN”：[”1529-3785“，”1557-945X“]，“ISSN-type”：[{“value”：“1529-3785%”，“type”:“print”}，{“value”：“”1557-945X“，”type“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[2022,10,20]]}，“断言“：[{”value“：”2021-05-31“，”order“：0，”name“：”received“，”label“：”received“，“group”：{”name“:”publication_history“，”标签“：”publication history“}}，{”value“：“2022-03-29”，“order”：1，“name”：“accepted”，“label”：“accepted“name”：“published”，“label”：“发布”已发布“，”组“：{“name”：“publication_history”，“label”：“publication history”}}]}}