ePrints

A framed temporal logic programming language

Lookup NU author(s): Professor Maciej KoutnyORCiD

Downloads

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

Abstract

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

URL: http://dx.doi.org/10.1007/BF02944904

DOI: 10.1007/BF02944904

Altmetrics

Share