两维时间域上的实时程序语义

REAL TIME SEMANTICS OF PROGRAMS IN TWO DIMENSIONAL TIME SPACE

超稠密计算模型是实时系统的一种重要抽象模型．该文首先简要介绍一种两维的超稠密时间域及在该域上定义的一种区间逻辑，然后用一个并行模型语言（类Ｏｃｃａｍ 语言）讨论用这种逻辑定义并行语言（在超稠密模型中）的时间语义的问题。

Super Dense computation model is an important model of real time systems. This paper first briefly introduces a two dimensional time space and a logic defined on it, then uses a parallel language (an Occam like language) to show how the definition of real time semantics of parallel languages can be given with the logic, where the super dense model is adopted. At last a discussion about the description of properties of real time systems within this semantic framework is given.