两维时间域上的一种区间逻辑

为了给超稠密计算模型（Ｓｕｐｅｒ－ｄｅｎｓｅｃｏｍｐｕｔａｔｉｏｎ）建立一种逻辑工具，首先定义了一个两维的超稠密时间域，在这个时间域上定义了一种区间逻辑，并提出了该逻辑的一个推理系统．并用轨道概念定义了两维超稠密空间中的计算、时段等．

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

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