时间符号迁移图及其互模拟判定
| 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 | |
| Idioma(s) |
中文 |
| Fonte |
陈靖; 林惠民.时间符号迁移图及其互模拟判定,计算机学报,2002,25(2):113-121 |
| Palavras-Chave | #并发 #实时系统 #数据传送 #互模拟 #时间符号迁移图 concurrency #real-time system #value-passing #bisimulation #timed symbolic transition graph |
| Tipo |
期刊论文 |
