The following pages link to Chaodong He (Q2894569):
Displaying 4 items.
- Decidability of Behavioral Equivalences in Process Calculi with Name Scoping (Q2894570) (← links)
- The Decidability of the Reachability Problem for CCS! (Q3090842) (← links)
- Branching Bisimilarity on Normed BPA Is EXPTIME-Complete (Q4635802) (← links)
- Branching Bisimilarity Checking for PRS (Q5167852) (← links)