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

CORC > 软件研究所 > 软件所图书馆 > 期刊论文

	on decidability and model checking for a first order modal logic for value-passing processes
	Xue R ; Lin HM
刊名	SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES
	2003
卷号	46 期号:1 页码:45-59
关键词	first order modal logic decidability model checking value-passing processes
ISSN号	1009-2757
学科主题	Computer Science, Information Systems
收录类别	SCI
语种	英语
公开日期	2011-07-29
附注	A semantic interpretation of a first order extension of Hennessy-Milner logic for value-passing processes, named HML(FO), is presented. The semantics is based on symbolic transition graphs with assignment. It is shown that the satisfiability of the two-variable sub-logic HML(FO2) of HML(FO) is decidable, and the complexity discussed. Finally, a decision procedure for model checking the value-passing processes with respect to HML(FO2.) is obtained.
内容类型	期刊论文
源URL	[http://124.16.136.157/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.