complete inference systems for weak bisimulation equivalences in the [pi]-calculus

	complete inference systems for weak bisimulation equivalences in the [pi]-calculus
	Lin Huimin; Lin, HM (通讯作者), Chinese Acad Sci, Inst Software, Comp Sci Lab, POB 8718, Beijing 100080, Peoples R China
	2003
发表期刊	Information and Computation
卷号	180 期号:1 页码:40207
收录类别	sciencedirect,ei
关键词	Mobile Processes Pi-calculus Bisimulation Symbolic Bisimulation Proof Systems Process Algebra Mobile Processes
部门归属	1. Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/3198
专题	基础软件与系统重点实验室
通讯作者	Lin, HM (通讯作者), Chinese Acad Sci, Inst Software, Comp Sci Lab, POB 8718, Beijing 100080, Peoples R China
推荐引用方式 GB/T 7714	Lin Huimin,Lin, HM . complete inference systems for weak bisimulation equivalences in the [pi]-calculus[J]. Information and Computation,2003,180(1):40207.
APA	Lin Huimin,&Lin, HM .(2003).complete inference systems for weak bisimulation equivalences in the [pi]-calculus.Information and Computation,180(1),40207.
MLA	Lin Huimin,et al."complete inference systems for weak bisimulation equivalences in the [pi]-calculus".Information and Computation 180.1(2003):40207.