ISSN 1000-1239 CN 11-1777/TP
一种具有时间语义的实时处理器模型
汪超, 陈香兰, 章博, 李曦, 王超, 周学海
A Real-Time Processor Model with Timing Semantics
Wang Chao, Chen Xianglan, Zhang Bo, Li Xi, Wang Chao, Zhou Xuehai
计算机研究与发展 . 2021, (6): 1176 -1191 .  DOI: 10.7544/issn1000-1239.2021.20210157