基于时间区间的并行行为与并发事件逻辑

• 作者: 刘玉树 朱娟
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 主体 动作 事件 基于区间的时态逻辑 框架 分枝
• 年，卷（期）: 2002,（3）
• 所属期刊栏目: 博士论文
• 页码范围: 13-15,17
• 页数: 4页
• 分类号: TP311.51
• 字数: 4750字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2002.03.005

摘要

在基于时间区间的时态逻辑基础上,提出了一种处理主体并行行为与并发事件的逻辑理论框架.文章提出的逻辑系统将事件与动作置于同一个逻辑体系下,以时间区间为基础,深入分析了二者之间的关系,充分发挥了事件的作用,动作的描述得到简化.文章给出了逻辑系统的语法和语义描述,还提出了基于领域描述结构的并发事件冲突消解方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘玉树	北京理工大学计算机科学工程系	150	2634	25.0	46.0
2	朱娟	北京理工大学计算机科学工程系	7	45	4.0	6.0