a higher-order duration calculus and its completeness
| Data(s) |
2000
|
|---|---|
| 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 |
Zhan Naijun.a higher-order duration calculus and its completeness,Science in China Press,2000,43(6):625-640 |
| Palavras-Chave | #duration calculus #higher-order logics #real-time programs #super-dense computation #completeness #SEMANTICS |
| Tipo |
期刊论文 |
