Huimin Lin Computing Bisimulations for Finite-Control pi-Calculus. 1-9 2000 15 J. Comput. Sci. Technol. 1 http://jcst.ict.ac.cn/cone/cone01.html#paper1 db/journals/jcst/jcst15.html#Lin00