谓词μ演算和模态图的语义一致性
文献类型：期刊论文
| 作者 | 刘剑 ; 林惠民 |
| 刊名 | 软件学报
 |
| 出版日期 | 2003 |
| 卷号 | 14期号:10页码:1672-1680 |
| 关键词 | 不动点 谓词(演算 嵌套谓词等式系 模态图 fixed-point predicate μ-calculus nested predicate equation modal graph |
| ISSN号 | 1000-9825 |
| 其他题名 | Consistency Between the Predicate μ-Calculus and Modal Graphs |
| 中文摘要 | 模态图是谓词μ演算的一种有效的图形表示形式。证明了谓词μ演算和模态图的语义一致性，详细讨论了谓词μ演算公式、嵌套谓词等式系和模态图之间的关系，并给出了一种优化的从线性公式到嵌套谓词等式系的转换算法。 |
| 收录类别 | wanfang,cscd |
| 资助信息 | National Natural Science Foundation of China; Public Administration and Civil Service Bureau of Macau SAR; Companhia de Telecomunicacoes de Macau S.A.R.L.; Macau SAR Government Tourist Office |
| 语种 | 中文 |
| 公开日期 | 2010-08-24 |
| 附注 | 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. |
| 源URL | [http://124.16.136.157/handle/311060/4478]  |
| 专题 | 软件研究所_计算机科学国家重点实验室 _期刊论文 |
| 推荐引用方式 GB/T 7714 | 刘剑,林惠民. 谓词μ演算和模态图的语义一致性[J]. 软件学报,2003,14(10):1672-1680. |
| APA | 刘剑,&林惠民.(2003).谓词μ演算和模态图的语义一致性.软件学报,14(10),1672-1680. |
| MLA | 刘剑,et al."谓词μ演算和模态图的语义一致性".软件学报 14.10(2003):1672-1680. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。