5 citations · 9 across the 3 of their papers we have counts for
1 paper · 2 filters
Qiang Yin, Mingzhang Huang, Chaodong He
Branching bisimilarity on normed Basic Process Algebra (BPA) was claimed to be EXPTIME-hard in previous papers without any explicit proof. Recently it is reminded by Jančar that th…