《计算机学报》文章摘要 全文下载 | |
文章题目 | 两维时间域上的实时程序语义 |
作者 | 裘宗燕 |
作者单位 | (北京大学数学学院信息科学系 北京 100871) |
发表年份 | 1999 |
发表月份 | 9期 (页码:958—762) |
文章摘要 | 超稠密计算模型是实时系统的一种重要抽象模型.该文首先简要介绍一种两维的超稠密时间域及在该域上定义的一种区间逻辑,然后用一个并行模型语言(类Occam语言)讨论用这种逻辑定义并行语言(在超稠密模型中)的时间语义的问题,最后讨论了在这种语义框架中实时系统性质的描述. 关键词 区间逻辑,两维时间,程序语义,实时系统. |