Toggle Main Menu Toggle Search

Open Access padlockePrints

A framed temporal logic programming language

Lookup NU author(s): Professor Maciej KoutnyORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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.

Publication metadata

Author(s): Duan Z, Koutny M

Publication type: Article

Publication status: Published

Journal: Journal of Computer Science and Technology

Year: 2004

Volume: 19

Issue: 3

Pages: 341-351

ISSN (print): 1000-9000

ISSN (electronic): 1860-4749

Publisher: Springer New York LLC


DOI: 10.1007/BF02944904


Altmetrics provided by Altmetric