时间符号迁移图及其互模拟判定

• 作者: 林惠民 陈靖
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 并发 实时系统 数据传送 互模拟 时间符号迁移图
• 年，卷（期）: 2002,（2）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 113-121
• 页数: 9页
• 分类号: TP301
• 字数: 7072字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2002.02.001

摘要

引入时间符号迁移图的概念,作为既涉及通讯又具有实时性的并发系统的模型.该文给出了这种迁移图时间互模拟的算法,并证明了该算法的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林惠民	中国科学院软件研究所计算机科学开放实验室	11	360	5.0	11.0
2	陈靖	中国科学院软件研究所计算机科学开放实验室	12	70	5.0	8.0