Model Independent Order Relations for Processes. - Chaodong He (APLAS, 2010)

The Decidability of the Reachability Problem for CCS! - Chaodong He (CONCUR, 2011)

Decidability of Behavioral Equivalences in Process Calculi with Name Scoping. - Chaodong He; Yuxi Fu; Hongfei Fu 001 (FSEN, 2011)

Branching Bisimilarity Checking for PRS. - Qiang Yin 002; Yuxi Fu; Chaodong He; Mingzhang Huang; Xiuting Tao (ICALP (2), 2014)

A Polynomial Time Algorithm for Deciding Branching Bisimilarity on Totally Normed BPA. - Chaodong He (CoRR, 2014)

Branching Bisimilarity on Normed BPA Is EXPTIME-Complete. - Chaodong He; Mingzhang Huang (LICS, 2015)

Two Lower Bounds for BPA. - Qiang Yin 002; Mingzhang Huang; Chaodong He (CoRR, 2017)