on decidability and model checking for a first order modal logic for     value-passing processes

ISCAS OpenIR

	on decidability and model checking for a first order modal logic for value-passing processes
	Xue R; Lin HM
	2003
发表期刊	SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES
ISSN	1009-2757
卷号	46 期号:1 页码:45-59
收录类别	sci
关键词	First Order Modal Logic Decidability Model Checking Value-passing Processes
部门归属	Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China.
学科领域	Computer Science, Information Systems
语种	英语
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/13186
专题	中国科学院软件研究所
推荐引用方式 GB/T 7714	Xue R,Lin HM. on decidability and model checking for a first order modal logic for value-passing processes[J]. SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES,2003,46(1):45-59.
APA	Xue R,&Lin HM.(2003).on decidability and model checking for a first order modal logic for value-passing processes.SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES,46(1),45-59.
MLA	Xue R,et al."on decidability and model checking for a first order modal logic for value-passing processes".SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES 46.1(2003):45-59.