Inference systems for observation equivalences in the π-calculus

	Inference systems for observation equivalences in the π-calculus
	Lin Huimin
	2003
发表期刊	Science in China Series E: Technological Sciences
卷号	42 期号:6 页码:657-669
收录类别	springer
部门归属	Laboratory for Computer Science, Institute of Software, Chinese Academy of Sciences, 100080 Beijing, China
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/3194
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Lin Huimin. Inference systems for observation equivalences in the π-calculus[J]. Science in China Series E: Technological Sciences,2003,42(6):657-669.
APA	Lin Huimin.(2003).Inference systems for observation equivalences in the π-calculus.Science in China Series E: Technological Sciences,42(6),657-669.
MLA	Lin Huimin."Inference systems for observation equivalences in the π-calculus".Science in China Series E: Technological Sciences 42.6(2003):657-669.