Chaodong He

According to our database, Chaodong He authored at least 7 papers between 2010 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

Two Lower Bounds for BPA.

Qiang Yin, Mingzhang Huang, Chaodong He

CoRR, 2017

2015

Branching Bisimilarity on Normed BPA Is EXPTIME-Complete.

Chaodong He, Mingzhang Huang

Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015

2014

A Polynomial Time Algorithm for Deciding Branching Bisimilarity on Totally Normed BPA.

Chaodong He

CoRR, 2014

Branching Bisimilarity Checking for PRS.

Qiang Yin, Yuxi Fu, Chaodong He, Mingzhang Huang, Xiuting Tao

Proceedings of the Automata, Languages, and Programming - 41st International Colloquium, 2014

2011

Decidability of Behavioral Equivalences in Process Calculi with Name Scoping.

Chaodong He, Yuxi Fu, Hongfei Fu

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

The Decidability of the Reachability Problem for CCS!

Chaodong He

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010

Model Independent Order Relations for Processes.

Chaodong He

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010