Chaodong He
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Branching bisimilarity on normed BPA is EXPTIME-complete 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science | 2018-04-23 | Paper |
| Branching bisimilarity checking for PRS Automata, Languages, and Programming | 2014-07-01 | Paper |
| Decidability of behavioral equivalences in process calculi with name scoping Fundamentals of Software Engineering | 2012-06-29 | Paper |
| The Decidability of the Reachability Problem for CCS! CONCUR 2011 – Concurrency Theory | 2011-09-02 | Paper |
Research outcomes over time
This page was built for person: Chaodong He
