Institutional Repository
| 时间符号迁移图及其互模拟判定 | |
| Alternative Title | timed bisimulation over timed symbolic transition graph |
| 陈靖; 林惠民 | |
| 2002 | |
| Source | 计算机学报
 |
| ISSN | 0254-4164 |
| Volume | 25Issue:2Pages:113-121 |
| English Abstract | 引入时间符号迁移图的概念，作为既涉及通讯又具有实时性的并发系统的模型。该文给出了这种迁移图时间互模拟的算法，并证明了该算法的正确性。 |
| Indexed Type | ei,wanfang,cscd |
| Keyword | 并发 实时系统 数据传送 互模拟 时间符号迁移图 Concurrency Real-time System Value-passing Bisimulation Timed Symbolic Transition Graph |
| Department | 计算机科学国家重点实验室 |
| Sponsorship | 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 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/4460 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation GB/T 7714 | 陈靖,林惠民. 时间符号迁移图及其互模拟判定[J]. 计算机学报,2002,25(2):113-121. |
| APA | 陈靖,&林惠民.(2002).时间符号迁移图及其互模拟判定.计算机学报,25(2),113-121. |
| MLA | 陈靖,et al."时间符号迁移图及其互模拟判定".计算机学报 25.2(2002):113-121. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 5.pdf（460KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment