谓词μ演算和模态图的语义一致性

• 作者: 刘剑 林惠民
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 不动点 谓词(演算 嵌套谓词等式系 模态图
• 年，卷（期）: 2003,（10）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 1672-1680
• 页数: 9页
• 分类号: TP301
• 字数: 9063字
• 语种: 中文

摘要

模态图是谓词(演算的一种有效的图形表示形式.证明了谓词(演算和模态图的语义一致性,详细讨论了谓词(演算公式、嵌套谓词等式系和模态图之间的关系,并给出了一种优化的从线性公式到嵌套谓词等式系的转换算法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林惠民		4	49	4.0	4.0
2	刘剑		3	11	2.0	3.0