您当前所在位置: 首页 > 学者

段振华

  • 30浏览

  • 0点赞

  • 0收藏

  • 0分享

  • 139下载

  • 0评论

  • 引用

期刊论文

A Framed Temporal Logic Programming Language

段振华Zhen-Hua Duan and Maciej Koutny

May 2004, Vol. 19, No.3, PP. 341~351,-0001,():

URL:

摘要/描述

We discuss the projection temporal logic (PTL), based on a primitive projection operator, prj. A framing technique in also presented, usinig which a synchronization operator, await, is defined withim the underlying logic. A framed temporal logic programming language (FTLL) is presented. To illustrate how to use both the language and framing technique, some examples are given.

版权说明:以下全部内容由段振华上传于   2005年10月13日 23时45分41秒,版权归本人所有。

我要评论

全部评论 0

本学者其他成果

    同领域成果