A Framed Temporal Logic Programming Language

zhenhuaDuan; Maciej Koutny

Chinese︱Feedback︱Save this page

A Framed Temporal Logic Programming Language

zhenhuaDuan * #,Maciej Koutny

Xidian University

*Correspondence author

#Submitted by

Subject:

Funding: 教育部博士点基金（No.20030701015）

Opened online:12 May 2004

Accepted by: none

Citation: zhenhuaDuan,Maciej Koutny.A Framed Temporal Logic Programming Language[OL]. [12 May 2004] http://en.paper.edu.cn/en_releasepaper/content/668

We discuss the projection temporal logic(PTL), based on a primitive projection operator,prj. A framing technique is also presented, using which a synchronization operator,await,is defined within 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.

Keywords:temporal logic, temporal logic programming, frame,projection,concurrency

For this paper

● PDF (0B)
● Revision 0 　　
● Print this paper
● Recommend this paper to a friend
● Add to my favorite list

Saved Papers

Please enter a name for this paper to be shown in your personalized Saved Papers list

Tags

Add yours

Related Papers

Other papers by Zhenhua DUAN

Statistics

PDF Downloaded	1035
Bookmarked	0
Recommend	5
Comments	Array

Submit your papers

Alert Name:
Alerting to:
Authentication email will be sent to your email address in 24 hours
Frequency:
Email Message Format:	Plain text Graphical(HTML)

Complete the form below and we will recommend the selected titles to your friends on your behalf. * Indicates a required field.
Your name*:
Your email address*:
Recipient's name*:
Recipient's email address*:
(multiple recipient's names and email addresses should be separated with semicolons)
Your comments:	I thought you would find the page(s) useful.

Your name:
Your email address:
Recipient's name:
Recipient's email address:
(multiple recipient's names and email addresses should be separated with semicolons)
Your comments:	I thought you would find this page useful.

Disclaimer: This message was sent to your friend using the "Send it to a friend" facility on the Sciencepaper Online’ WWW site, http://www.paper.edu.cn/en. The Sciencepaper Online is not responsible for the content of this email, and anything said in this email does not necessarily reflect the Sciencepaper Online's views.

	Check out RSS, or use RSS reader to subscribe this item

Saved Papers