Publication

[SunJLZ23] Rooted Divergence-Preserving Branching Bisimilarity is a Congruence for Guarded CCS Sun, Q.; Jansen, D. N.; Liu, X. and Zhang, W. In Formal Aspects of Computing, 2023. doi.. 
Downloads: bib