{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,11,21]]，“日期-时间”：“2023-11-21T00:14:26Z”，“时间戳”：170052666190}，“参考-计数”：11，“出版商”：“计算机协会（ACM）”，“问题”：“4”，“资助者”：[{“名称”：“中国科学院青年科学家基础研究项目”，“奖项”：[“YSBR-040 CAS”]}，{“name”：“重庆研究生科研创新项目”，”奖项“：[“CYB20098”]}.，{”DOI“：”10.13039\/501100001809“，”name“：”国家自然科学基金“，”DOI-asserted-by“：”crossref“，”award“：[“62032019，61732019，610672435，62072443，61836005”]，“id”：[{“id”:“10.13039\/501100001809”，“id类型”：“DOI”，“asserted-by”：“crossref”}]}，{“name”：“西南大学能力发展拨款”，“奖项”：[“SWU116007”]}]，“content-domain”：{“domain”:[“dl.acm.org”]，”crossmark-restriction“：true}，”short-container-title“：[“Form.Asp.Comput.”]，“published-print”：{“date-parts”：[[2023,12,31]]}，“abstract”：“分支双相似性是标记转移系统的一个著名等价关系。基于这种等价关系，再加上一个简单的根性条件，可以得到通信系统微积分过程的同余关系。然而，分支双相似性和相应的同余关系都不能保持发散，并且基于分支双相似的保发散变体，是否可以通过引入相同的简单根条件来获得CCS过程的保发源同余关系仍然是一个问题。在本文中，我们通过证明在通常的CCS算子（包括前缀、求和、并行组合、重新标记、限制和（弱）保护递归）下，保根发散分支双相似性保持不变，给出了一个部分解<\/jats:p>“，”DOI“：”10.1145\/3625564“，”type“：”journal-article“，”created“：{”date-parts“：[2023,9,29]]，”date-time“：”2023-09-29T14:50:43Z“，”timestamp“：1695999043000}，”page“：“标题”：[“根分叉保留分支双相似性是Guarded CCS的同余“]，”前缀“：”10.1145“，”卷“：”35“，”作者“：[{”ORCID“：”http://\/ORCID.org\/00000-0002-4558-7867“，”authenticated-ORCID“：false，”给定“：”Quan“，”family“：”Sun“，”sequence“：”first“，”affiliation“：[}”name“：”中国南京航空航天大学“}]}，{“ORCID“：”http://\/ORCID.org\/0000-0002-6636-3301“，”authenticated-ORCID“：false，”given“：David N.”，”family“：”Jansen“，”sequence“：”additional“，”affiliation“：[{”name“：”China Academy of Sciences，and University of China Scienced，China”}]}，{“ORCID”：“http://\/ORCID.org\/0000-0002-8334-8277”，”authonticated-ocid“：false，”给定“：”鑫鑫”，“家族”：“刘”，“序列”：“附加”，“从属关系”：[{“名称”：“中国科学院、中国科学院大学”}]}，{“ORCID”：“http://\/ORCID.org\/00000-0001-8350-0788”，“authenticated-ORCID”：false，“给定”：“魏”，“家庭”：“张”，“顺序”：“额外”，“附属关系”：[{“姓名”：“中国西南大学“}]}]，“成员”：“320”，“在线发布”：{“日期-部件”：[[2023,11,20]]}，“参考”：[{“密钥”：“e_1_3_2_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-030-38919-2_24”}，{“key”：“e_1_3_2”，”doi-assert-by“：”publisher“，”doi“：”10.1016\/j.ic.2019.104435“}，{”key“：”e_1_3_2_4_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3-031-15629-8_19“}，{“key”：“e_1_3_2_5_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.ic.2005.05.007”}，}“keys”：“e_1_3_2_6_2”，《volume-title》：“并发：状态模型和Java编程”，“author”：“Magee Jeff”，“year”：“1999”，“unstructured”：“Jeff Magee和Jeff Kramer.1999”。并发：状态模型和Java编程。奇切斯特·威利。}，{“key”：“e_1_3_2_7_2”，“volume-title”：“Communication and Concurrency”，“author”：“Milner Robin”，“year”：“1989”，“unstructured”：“Robin Milner.1989”。沟通与并发。Prentice-Hall，纽约。“}，{”key“：”e_1_3_2_8_2“，”doi-asserted-by“：”publisher“，”doi“：”10.23638\/LMCS-16（3:14）2020“}”，{“key”：“e_1_ 3_2_9_2”，“doi-assert-by”：“publisher”，“doi”：“10.3233\/FI-2009-109”}，“key“/3-540-57182-5_39“}，{“键”：“e_1_3_2_11_2”，“首页”：“613”，“卷标”：“信息处理89:IFIP第十一届世界计算机大会会议记录”，“作者”：“格拉贝克·罗布·J·凡”，“年份”：“1989年”，“非结构化”：“罗布·J.凡·格拉贝克和W.P.魏杰兰。1989.互模拟语义中的时间分支和抽象（扩展抽象）。《信息处理89:IFIP第11届世界计算机大会论文集》，Gerhard X.Ritter（Ed.）。北荷兰，阿姆斯特丹，613\u2013618.“｝，｛”键“：”e_1_3_2_12_2“，”发布者断言的doi“，”doi“：”10.1145\/23551.233556“｝]，”容器标题“：[”计算的正式方面“]，”原始标题“：[]，”语言“：”en“，”链接“：[｛”URL“：”https:\/\/dl.acm.org/doi\/pdf\/10.11145\/3625564“，”内容类型“：”未指定“，”内容版本“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2023,11,20]]，”date-time“：”2023-11-20T12:41:43Z“，”timestamp“：1700484103000}，”score“：1，”resource“：{“primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/3625564”}}，“subtitle”：[]，“shorttitle”：[]，“issued”:{“date-part”：[2023,11,20]]11,20]]}，“引用计数”：11，“新闻发布”：{“issue“：”4“，”published-print“：{”date-parts“：[[2023,12,31]]}}，”alternative-id“：[”10.1145\/3625564“]，”URL“：”http://\/dx.doi.org\/10.1145\/36255064“，”relationship“：{}，“ISSN”：[”0934-5043“，”1433-299X“]，“ISSN-type”：[{”value“：”0934-5043“，”type“：“print”}，{“value”：“143”3-299X“，”type“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[2023,11,20]]}，”断言“：[{”value“：”2023-03-27“，”order“：0，”name“：”received“，”label“：”received“，“group”：{”name“:”publication_history“，”标签“：”publication history“}}，{”value“：“2023-09-10”，“order”：1，“name”：“accepted”，“label”：“accepted“name”：“published”，“label”：“发布”已发布“，”组“：{“name”：“publication_history”，“label”：“publication history”}}]}}