面向传值进程的谓词μ-演算与FO(HML)的完备推演系统

	面向传值进程的谓词μ-演算与FO(HML)的完备推演系统
其他题名	A Predicate μ-Calculus for Value-Passing Processes and A Complete Deductive System for FO(HML)
	薛锐; 林惠民
	2002
发表期刊	计算机学报
卷号	25 期号:6
收录类别	wanfang
关键词	传值进程 Μ-演算模型检测 Tableau 推演完备
部门归属	计算机科学国家重点实验室
资助者	National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/4480
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	薛锐,林惠民. 面向传值进程的谓词μ-演算与FO(HML)的完备推演系统[J]. 计算机学报,2002,25(6).
APA	薛锐,&林惠民.(2002).面向传值进程的谓词μ-演算与FO(HML)的完备推演系统.计算机学报,25(6).
MLA	薛锐,et al."面向传值进程的谓词μ-演算与FO(HML)的完备推演系统".计算机学报 25.6(2002).