8 citations · 13 across the 5 of their papers we have counts for
1 paper · 1 filter
Chaodong He, Mingzhang Huang
We put forward an exponential-time algorithm for deciding branching bisimilarity on normed BPA (Bacis Process Algebra) systems. The decidability of branching (or weak) bisimilarity…