{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T05:20:08Z","timestamp":1774329608496,"version":"3.50.1"},"reference-count":11,"publisher":"Association for Computing Machinery (ACM)","issue":"4","license":[{"start":{"date-parts":[[2023,11,20]],"date-time":"2023-11-20T00:00:00Z","timestamp":1700438400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Chinese Academy of Sciences Project for Young Scientists in Basic Research","award":["YSBR-040 CAS"],"award-info":[{"award-number":["YSBR-040 CAS"]}]},{"name":"Chongqing Graduate Student Research and Innovation Project","award":["CYB20098"],"award-info":[{"award-number":["CYB20098"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"crossref","award":["62032019, 61732019, 61672435, 62072443, 61836005"],"award-info":[{"award-number":["62032019, 61732019, 61672435, 62072443, 61836005"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Capacity Development Grant of Southwest University","award":["SWU116007"],"award-info":[{"award-number":["SWU116007"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2023,12,31]]},"abstract":"<jats:p>Branching bisimilarity is a well-known equivalence relation for labelled transition systems. Based on this equivalence relation, with an additional simple rootedness condition, a congruence relation for calculus of communication system (CCS) processes can be obtained. However, neither branching bisimilarity nor the corresponding congruence relation preserves divergence, and it is still a question whether, based on a divergence-preserving variant of branching bisimilarity, a divergence-preserving congruence relation for CCS processes can be obtained by introducing the same simple rootedness condition. In this article, we present a partial solution by showing that rooted divergence-preserving branching bisimilarity is preserved under the usual CCS operators, including prefixing, summation, parallel composition, relabelling, restriction, and (weakly) guarded recursion.<\/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":"1-21","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Rooted Divergence-Preserving Branching Bisimilarity is a Congruence for Guarded CCS"],"prefix":"10.1145","volume":"35","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4558-7867","authenticated-orcid":false,"given":"Quan","family":"Sun","sequence":"first","affiliation":[{"name":"Nanjing University of Aeronautics and Astronautics, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6636-3301","authenticated-orcid":false,"given":"David N.","family":"Jansen","sequence":"additional","affiliation":[{"name":"Chinese Academy of Sciences, China, and University of Chinese Academy of Sciences, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8334-8277","authenticated-orcid":false,"given":"Xinxin","family":"Liu","sequence":"additional","affiliation":[{"name":"Chinese Academy of Sciences, China, and University of Chinese Academy of Sciences, China"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8350-0788","authenticated-orcid":false,"given":"Wei","family":"Zhang","sequence":"additional","affiliation":[{"name":"Southwest University, China"}]}],"member":"320","published-online":{"date-parts":[[2023,11,20]]},"reference":[{"key":"e_1_3_2_2_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-38919-2_24"},{"key":"e_1_3_2_3_2","doi-asserted-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"},{"key":"e_1_3_2_6_2","volume-title":"Concurrency: State Models & Java Programming","author":"Magee Jeff","year":"1999","unstructured":"Jeff Magee and Jeff Kramer. 1999. Concurrency: State Models & Java Programming. Wiley, Chichester."},{"key":"e_1_3_2_7_2","volume-title":"Communication and Concurrency","author":"Milner Robin","year":"1989","unstructured":"Robin Milner. 1989. Communication and Concurrency. Prentice-Hall, New York."},{"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-asserted-by":"publisher","DOI":"10.3233\/FI-2009-109"},{"key":"e_1_3_2_10_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57182-5_39"},{"key":"e_1_3_2_11_2","first-page":"613","volume-title":"Information Processing 89: Proceedings of the IFIP 11th World Computer Congress","author":"Glabbeek Rob J. van","year":"1989","unstructured":"Rob J. van Glabbeek and W. P. Weijland. 1989. Branching time and abstraction in bisimulation semantics (extended abstract). In Information Processing 89: Proceedings of the IFIP 11th World Computer Congress, Gerhard X. Ritter (Ed.). North-Holland, Amsterdam, 613\u2013618."},{"key":"e_1_3_2_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/233551.233556"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3625564","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3625564","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:50:38Z","timestamp":1750287038000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3625564"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,20]]},"references-count":11,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2023,12,31]]}},"alternative-id":["10.1145\/3625564"],"URL":"https:\/\/doi.org\/10.1145\/3625564","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,11,20]]},"assertion":[{"value":"2023-03-27","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-09-10","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-11-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}