Computing Bisimulations for Finite-Controlπ-Calculus

	Computing Bisimulations for Finite-Controlπ-Calculus
	Lin HM(林惠民)
	2000
发表期刊	Journal of Computer Science and Technology
ISSN	1000-9000
卷号	15 期号:1 页码:1
收录类别	cscd
关键词	*
部门归属	计算机科学国家重点实验室
语种	英语
CSCD记录号	CSCD:672995
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/4502
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Lin HM. Computing Bisimulations for Finite-Controlπ-Calculus[J]. Journal of Computer Science and Technology,2000,15(1):1.
APA	林惠民.(2000).Computing Bisimulations for Finite-Controlπ-Calculus.Journal of Computer Science and Technology,15(1),1.
MLA	林惠民."Computing Bisimulations for Finite-Controlπ-Calculus".Journal of Computer Science and Technology 15.1(2000):1.