一种框架时序逻辑程序设计语言

作     者：Zhen-HuaDuan MaciejKoutny 

作者机构：UniversityofNewcastleuponTyneNewcastleuponTyneNE17RUU.K. XidianUniversityXi＇an710071P.R.China 

出 版 物：《Journal of Computer Science & Technology》 (计算机科学技术学报（英文版）)

年 卷 期：2004年第19卷第C00期

页      码：20-20页

摘      要：本文提出了区间时序逻辑的一个变种——投影时序逻辑，给出了它的语法规则和语义定义，并建立了该逻辑系统的模型理论。在该逻辑系统中，我们引入了一个新的投影操作符(prj)。这使得我们不仅能够在不同的时间层次上控制进程的并行操作，而且可以以该操作符为基础定义顺序操作符(chop)和并行操作符(‖)。因此，该逻辑系统比区间时序逻辑具有更强的表达能力。同时，本文也给出了与投影操作相关的一些性质。

主 题 词：时序逻辑 操作符 并行操作 程序设计语言 投影 逻辑系统 进程 区间 模型理论 性质 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 0835[0835] 081201[081201] 081202[081202] 0812[工学-测绘类] 

核心收录：

馆 藏 号：203393096...