%0 Journal Article
%T 模拟式实时语义
%A 韩燕
%J -
%D 1995
%X 程序的实时行为依赖于其所在的实时环境，诸如所采用的编译程序、调度程序、通信媒介以及主机等．本文设法甩模拟环境的手段来刻化程序的实时行为，从而为实时语义提供了一种通用的方法．文中所采用的逻辑是通常的线性时态逻辑，但引入了各种时间变量
%K 实时语义
%K 实时通信顺序进程
%K 时态逻辑
%K 模拟
%K 调度
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19950310&flag=1