A Framed Temporal Logic Programming Language

作     者：Zhen-HuaDuan MaciejKoutny 

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

基　　金：国家自然科学基金 中国科学院重点实验室基金 

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

年 卷 期：2004年第19卷第3期

页      码：341-351页

摘      要：We discuss the projection temporal logic (PTL), based on a primitiveprojection operator, prj. A framing technique is also presented, using which a synchronizationoperator, await, is defined within the underlying logic. A framed temporal logic programminglanguage (FTLL) is presented. To illustrate how to use both the language and framing technique, someexamples are given.

主 题 词：temporal logic temporal logic programming frame projection concurrency 

学科分类：08[工学] 081201[081201] 0812[工学-测绘类] 

核心收录：

D　O　I：10.1007/BF02944904

馆 藏 号：203254663...