时间符号迁移图及其互模拟判定
Timed Bisimulation over Timed Symbolic Transition Graph作者机构：中国科学院软件研究所计算机科学开放实验室北京100080
出 版 物：《计算机学报》 (Chinese Journal of Computers)
年 卷 期：2002年第25卷第2期
页 面：113-121页
核心收录：
学科分类：0810[工学-信息与通信工程] 0808[工学-电气工程] 0839[工学-网络空间安全] 08[工学] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081202[工学-计算机软件与理论]
基 金：国家自然科学基金 (6983 3 0 2 0 )资助
主 题：实时系统 数据传送 互模拟 时间符号迁移图 算法 计算机
摘 要：引入时间符号迁移图的概念 ,作为既涉及通讯又具有实时性的并发系统的模型 .该文给出了这种迁移图时间互模拟的算法 。
维普期刊数据库
同方期刊数据库