2 citations · 2 across the 1 of their papers we have counts for
1 paper
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…