10.3321/j.issn:0254-4164.1999.09.011
两维时间域上的实时程序语义
超稠密计算模型是实时系统的一种重要抽象模型.该文首先简要介绍一种两维的超稠密时间域及在该域上定义的一种区间逻辑,然后用一个并行模型语言(类Occam语言)讨论用这种逻辑定义并行语言(在超稠密模型中)的时间语义的问题,最后讨论了在这种语义框架中实时系统性质的描述.
区间逻辑、两维时间、程序语义、实时系统
22
TP311(计算技术、计算机技术)
国家自然科学基金69873003
2005-08-25(万方平台首次上网日期,不代表论文的发表时间)
共5页
958-962