面向传值进程的谓词μ-演算与FO(HML)的完备推演系统
| Data(s) |
2002
|
|---|---|
| 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 | |
| Fonte |
薛锐; 林惠民.面向传值进程的谓词μ-演算与FO(HML)的完备推演系统,计算机学报,2002,25(6): |
| Palavras-Chave | #传值进程 #μ-演算 #模型检测 #Tableau #推演完备 |
| Tipo |
期刊论文 |
