{"id":"https://openalex.org/W4387187992","doi":"https://doi.org/10.1145/3625564","title":"Rooted Divergence-Preserving Branching Bisimilarity is a Congruence for Guarded CCS","display_name":"Rooted Divergence-Preserving Branching Bisimilarity is a Congruence for Guarded CCS","publication_year":2023,"publication_date":"2023-09-29","ids":{"openalex":"https://openalex.org/W4387187992","doi":"https://doi.org/10.1145/3625564"},"language":"en","primary_location":{"id":"doi:10.1145/3625564","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3625564","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3625564","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3625564","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101471362","display_name":"Quan Sun","orcid":"https://orcid.org/0000-0002-4558-7867"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Quan Sun","raw_affiliation_strings":["Nanjing University of Aeronautics and Astronautics, China","College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics, China"],"raw_orcid":"https://orcid.org/0000-0002-4558-7867","affiliations":[{"raw_affiliation_string":"Nanjing University of Aeronautics and Astronautics, China","institution_ids":["https://openalex.org/I9842412"]},{"raw_affiliation_string":"College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006029818","display_name":"David N. Jansen","orcid":"https://orcid.org/0000-0002-6636-3301"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"David N. Jansen","raw_affiliation_strings":["Chinese Academy of Sciences, China, and University of Chinese Academy of Sciences, China","State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences, China, and University of Chinese Academy of Sciences, China"],"raw_orcid":"https://orcid.org/0000-0002-6636-3301","affiliations":[{"raw_affiliation_string":"Chinese Academy of Sciences, China, and University of Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210165038"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences, China, and University of Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I4210165038"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100379552","display_name":"Xinxin Liu","orcid":"https://orcid.org/0000-0002-8334-8277"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"id":"https://openalex.org/I4210165038","display_name":"University of Chinese Academy of Sciences","ror":"https://ror.org/05qbk4x57","country_code":"CN","type":"education","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210165038"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xinxin Liu","raw_affiliation_strings":["Chinese Academy of Sciences, China, and University of Chinese Academy of Sciences, China","State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences, China, and University of Chinese Academy of Sciences, China"],"raw_orcid":"https://orcid.org/0000-0002-8334-8277","affiliations":[{"raw_affiliation_string":"Chinese Academy of Sciences, China, and University of Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210165038"]},{"raw_affiliation_string":"State Key Laboratory of Computer Science, Institute of Software Chinese Academy of Sciences, China, and University of Chinese Academy of Sciences, China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I4210165038"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101578730","display_name":"Wei Zhang","orcid":"https://orcid.org/0000-0001-8350-0788"},"institutions":[{"id":"https://openalex.org/I142108993","display_name":"Southwest University","ror":"https://ror.org/01kj4z117","country_code":"CN","type":"education","lineage":["https://openalex.org/I142108993"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wei Zhang","raw_affiliation_strings":["Southwest University, China","College of Computer and Information Science Southwest University, China"],"raw_orcid":"https://orcid.org/0000-0001-8350-0788","affiliations":[{"raw_affiliation_string":"Southwest University, China","institution_ids":["https://openalex.org/I142108993"]},{"raw_affiliation_string":"College of Computer and Information Science Southwest University, China","institution_ids":["https://openalex.org/I142108993"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2780,"currency":"USD","value_usd":2780},"apc_paid":null,"fwci":0.1436,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.48975203,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"35","issue":"4","first_page":"1","last_page":"21"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9918000102043152,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/equivalence-relation","display_name":"Equivalence relation","score":0.7694563865661621},{"id":"https://openalex.org/keywords/congruence","display_name":"Congruence (geometry)","score":0.7639250755310059},{"id":"https://openalex.org/keywords/branching","display_name":"Branching (polymer chemistry)","score":0.7240751385688782},{"id":"https://openalex.org/keywords/congruence-relation","display_name":"Congruence relation","score":0.6961172819137573},{"id":"https://openalex.org/keywords/divergence","display_name":"Divergence (linguistics)","score":0.6650677919387817},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.593130886554718},{"id":"https://openalex.org/keywords/recursion","display_name":"Recursion (computer science)","score":0.563833475112915},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.4473131597042084},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.41608816385269165},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3581443428993225},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.16027510166168213},{"id":"https://openalex.org/keywords/geometry","display_name":"Geometry","score":0.05133363604545593}],"concepts":[{"id":"https://openalex.org/C156103551","wikidata":"https://www.wikidata.org/wiki/Q130998","display_name":"Equivalence relation","level":2,"score":0.7694563865661621},{"id":"https://openalex.org/C132074034","wikidata":"https://www.wikidata.org/wiki/Q154210","display_name":"Congruence (geometry)","level":2,"score":0.7639250755310059},{"id":"https://openalex.org/C206175624","wikidata":"https://www.wikidata.org/wiki/Q595731","display_name":"Branching (polymer chemistry)","level":2,"score":0.7240751385688782},{"id":"https://openalex.org/C9973445","wikidata":"https://www.wikidata.org/wiki/Q8349849","display_name":"Congruence relation","level":2,"score":0.6961172819137573},{"id":"https://openalex.org/C207390915","wikidata":"https://www.wikidata.org/wiki/Q1230525","display_name":"Divergence (linguistics)","level":2,"score":0.6650677919387817},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.593130886554718},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.563833475112915},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.4473131597042084},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.41608816385269165},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3581443428993225},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.16027510166168213},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.05133363604545593},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3625564","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3625564","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3625564","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3625564","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3625564","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3625564","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.46000000834465027,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[{"id":"https://openalex.org/G1386706470","display_name":null,"funder_award_id":"62032019","funder_id":"https://openalex.org/F4320323711","funder_display_name":"Southwest University"},{"id":"https://openalex.org/G3323081998","display_name":null,"funder_award_id":"61732019","funder_id":"https://openalex.org/F4320323711","funder_display_name":"Southwest University"},{"id":"https://openalex.org/G3677349875","display_name":null,"funder_award_id":"62032019, 61732019, 61672435, 62072443, 61836005","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4164304690","display_name":"\u9762\u5411\u9700\u6c42\u4e0d\u786e\u5b9a\u6027\u7684\u667a\u80fd\u670d\u52a1\u67b6\u6784\u7814\u7a76","funder_award_id":"61732019","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4402193416","display_name":null,"funder_award_id":"62072443","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4677120484","display_name":null,"funder_award_id":"YSBR-040","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G495268518","display_name":null,"funder_award_id":"61672435","funder_id":"https://openalex.org/F4320323711","funder_display_name":"Southwest University"},{"id":"https://openalex.org/G6209082621","display_name":null,"funder_award_id":"61672435","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G7050863041","display_name":null,"funder_award_id":"YSBR-040","funder_id":"https://openalex.org/F4320321133","funder_display_name":"Chinese Academy of Sciences"},{"id":"https://openalex.org/G7097245526","display_name":"\u7c7b\u4eba\u4efb\u52a1\u89c4\u5212\u3001\u63a8\u7406\u53ca\u5176\u9a8c\u8bc1\u7cfb\u7edf\u7684\u7814\u7a76\u548c\u5e94\u7528","funder_award_id":"61836005","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G780884354","display_name":null,"funder_award_id":"SWU116007","funder_id":"https://openalex.org/F4320323711","funder_display_name":"Southwest University"},{"id":"https://openalex.org/G8592490694","display_name":null,"funder_award_id":"62032019","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8644734776","display_name":null,"funder_award_id":"CYB20098","funder_id":"https://openalex.org/F4320323711","funder_display_name":"Southwest University"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320321133","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35"},{"id":"https://openalex.org/F4320323711","display_name":"Southwest University","ror":"https://ror.org/01kj4z117"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4387187992.pdf","grobid_xml":"https://content.openalex.org/works/W4387187992.grobid-xml"},"referenced_works_count":9,"referenced_works":["https://openalex.org/W258022877","https://openalex.org/W1985161650","https://openalex.org/W2103718058","https://openalex.org/W2118044617","https://openalex.org/W2914292476","https://openalex.org/W2964221281","https://openalex.org/W3000726220","https://openalex.org/W3089863728","https://openalex.org/W4297922681"],"related_works":["https://openalex.org/W77573719","https://openalex.org/W2385511935","https://openalex.org/W3134823879","https://openalex.org/W2382432157","https://openalex.org/W2801977597","https://openalex.org/W2382598115","https://openalex.org/W2254343561","https://openalex.org/W2963246490","https://openalex.org/W2594479762","https://openalex.org/W2348886161"],"abstract_inverted_index":{"Branching":[0],"bisimilarity":[1,38,92],"is":[2,48,93],"a":[3,22,50,55,61,83],"well-known":[4],"equivalence":[5,14],"relation":[6,24,43,64],"for":[7,25,65],"labelled":[8],"transition":[9],"systems.":[10],"Based":[11],"on":[12,54],"this":[13,79],"relation,":[15],"with":[16],"an":[17],"additional":[18],"simple":[19,75],"rootedness":[20,76],"condition,":[21],"congruence":[23,42,63],"calculus":[26],"of":[27,58],"communication":[28],"system":[29],"(CCS)":[30],"processes":[31,67],"can":[32,68],"be":[33,69],"obtained.":[34],"However,":[35],"neither":[36],"branching":[37,59,91],"nor":[39],"the":[40,73,96],"corresponding":[41],"preserves":[44],"divergence,":[45],"and":[46,107],"it":[47],"still":[49],"question":[51],"whether,":[52],"based":[53],"divergence-preserving":[56,62,90],"variant":[57],"bisimilarity,":[60],"CCS":[66,98],"obtained":[70],"by":[71,86],"introducing":[72],"same":[74],"condition.":[77],"In":[78],"article,":[80],"we":[81],"present":[82],"partial":[84],"solution":[85],"showing":[87],"that":[88],"rooted":[89],"preserved":[94],"under":[95],"usual":[97],"operators,":[99],"including":[100],"prefixing,":[101],"summation,":[102],"parallel":[103],"composition,":[104],"relabelling,":[105],"restriction,":[106],"(weakly)":[108],"guarded":[109],"recursion.":[110]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}