A Polynomial Time Algorithm for Checking Regularity of Totally Normed Process Algebra
YANG Fei*(杨非), HUANG Hao (黄浩)
Journal of shanghai Jiaotong University (Science) . 2015, (3): 273 -280 .  DOI: 10.1007/s12204-014-1555-x