10.3969/j.issn.1674-7259.2004.02.002
移动进程的空间逻辑
提出了一个用于描述异步π-演算中移动进程的时态和空间性质的模态逻辑.该逻辑具有基于谓词变量的递归构造.建立了这一逻辑的语义理论,并证明了语义的单调性,从而保证了不动点的存在.还设计了一个算法来自动地检测移动进程是否具有用该逻辑公式所描述的性质,并证明了该算法的正确性.
模态逻辑、谓词μ-演算、模型检测、移动进程、异步π-演算
34
TP3(计算技术、计算机技术)
国家自然科学基金60223005;中国科学院知识创新工程项目
2004-03-26(万方平台首次上网日期,不代表论文的发表时间)
共12页
139-150