谓词μ演算和模态图的语义一致性
| Data(s) |
2003
|
|---|---|
| Resumo |
模态图是谓词μ演算的一种有效的图形表示形式。证明了谓词μ演算和模态图的语义一致性，详细讨论了谓词μ演算公式、嵌套谓词等式系和模态图之间的关系，并给出了一种优化的从线性公式到嵌套谓词等式系的转换算法。 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 |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
刘剑; 林惠民.谓词μ演算和模态图的语义一致性,软件学报,2003,14(10):1672-1680 |
| Palavras-Chave | #不动点 #谓词(演算 #嵌套谓词等式系 #模态图 fixed-point #predicate μ-calculus #nested predicate equation #modal graph |
| Tipo |
期刊论文 |
