###
DOI:
Journal of Software:2003.14(10):1672-1680

谓词μ演算和模态图的语义一致性
刘剑,林惠民
(中国科学院,软件研究所,计算机科学重点实验室,北京,100080)
Consistency Between the Predicate μ-Calculus and Modal Graphs
LIU Jian,LIN Hui-Min
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2758   Download 3134
Received:January 03, 2003    Revised:January 03, 2003
> 中文摘要: 模态图是谓词μ演算的一种有效的图形表示形式.证明了谓词μ演算和模态图的语义一致性,详细讨论了谓词μ演算公式、嵌套谓词等式系和模态图之间的关系,并给出了一种优化的从线性公式到嵌套谓词等式系的转换算法.
Abstract:The modal graphs are effective graph forms for the predicate μ-calculus. The consistency between the predicate μ-calculus and the modal graphs is strictly established. Moreover, the relationship among the predicate μ-calculus, nested predicate equations and the modal graphs is discussed in detail. An optimized transformation algorithm from predicate μ-calculus formulae to nested predicate equations is presented.
文章编号:     中图分类号:    文献标志码:
基金项目:Supported by the National Natural Science Foundation of China under Grant No.69833020 (国家自然科学基金) Supported by the National Natural Science Foundation of China under Grant No.69833020 (国家自然科学基金)
Foundation items:
Reference text:

刘剑,林惠民.谓词μ演算和模态图的语义一致性.软件学报,2003,14(10):1672-1680

LIU Jian,LIN Hui-Min.Consistency Between the Predicate μ-Calculus and Modal Graphs.Journal of Software,2003,14(10):1672-1680