A Polynomial Time Algorithm for Checking Regularity of Totally Normed Process Algebra
YANG Fei*(杨非), HUANG Hao (黄浩)
A Polynomial Time Algorithm for Checking Regularity of Totally Normed Process Algebra
YANG Fei*(杨非), HUANG Hao (黄浩)
上海交通大学学报（英文版） . 2015, (3): 273 -280 .  DOI: 10.1007/s12204-014-1555-x