Lookup NU author(s): Professor Maciej Koutny
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.
Author(s): Duan Z, Koutny M
Publication type: Article
Publication status: Published
Journal: Journal of Computer Science and Technology
ISSN (print): 1000-9000
ISSN (electronic): 1860-4749
Publisher: Springer New York LLC
Altmetrics provided by Altmetric