Details for the publication SunJLZ23.

Quan Sun, David N. Jansen (), Xinxin Liu, Wei Zhang: Rooted Divergence-Preserving Branching Bisimilarity is a Congruence for Guarded CCS. In Formal Aspects Comput. 35(4):25:1-25:21, 2023. DOI BIB