节点文献

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

推荐 CAJ下载
PDF下载
不支持迅雷等下载工具，请取消加速工具后下载。

【Author】 XUE Rui & LIN HuiminLaboratory for Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing 100080, China Correspondence should be addressed to Xue Rui (email: lhm@ios.ac.nc; xuerui@vip.sina.com)

【机构】 Laboratory for Computer Science； Institute of Software； Chinese Academy of Sciences； Chinese Academy of Sciences Beijing 100080； China Correspondence should be addressed to Xue Rui； Beijing 100080； China Correspondence should be addressed to Xue Rui；

【摘要】 <正> 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.更多还原

【Abstract】 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.更多还原

【关键词】 first order modal logic； decidability； model checking； value-passing processes.；
【Key words】 first order modal logic； decidability； model checking； value-passing processes.；

【基金】 This work was partially supported by the National Natural Science Foundationof China (Grant No. 69833020); the National High Technology Development Program of China (Grant No. 2002AA144050);the National Grand Fundamental Research 973 Program of China

【文献出处】 Science in China(Series F:Information Sciences) ,中国科学(F辑:信息科学)(英文版) , 编辑部邮箱 ,2003年01期

【分类号】TP311
【下载频次】56

知网节下载

节点文献中：

本文链接的文献网络图示:

本文的引文网络

节点文献