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

• 作者: 裘宗燕
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 区间逻辑 两维时间 程序语义 实时系统
• 年，卷（期）: 1999,（9）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 958-962
• 页数: 5页
• 分类号: TP311
• 字数: 5391字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.1999.09.011

摘要

超稠密计算模型是实时系统的一种重要抽象模型.该文首先简要介绍一种两维的超稠密时间域及在该域上定义的一种区间逻辑,然后用一个并行模型语言(类Occam语言)讨论用这种逻辑定义并行语言(在超稠密模型中)的时间语义的问题,最后讨论了在这种语义框架中实时系统性质的描述.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	裘宗燕	北京大学数学学院信息科学系	15	93	5.0	9.0