40 Years of Computing at Newcastle
Department Technical Report Series No. 556
An Extended Interval Temporal Logic and a Framing Technique for Temporal Logic Programming.
Z. H. Duan
University of Newcastle upon Tyne. 1996
Abstract
Temporal logic programming is a paradigm for specification and verification of concurrent programs in which a program can be written, and the properties of the program can be described and verified in a same notation. However, there are many aspects of programming in temporal logics that are not well understood. One such aspect is concurrent programming, another is framing and the third is synchronous communication for parallel processes.
This thesis extends the original Interval Temporal Logic (ITL) to include infinite models, past operators, and a new projection operator for dealing with concurrent computation, synchronous communication, and framing in the context of temporal logic programming.
Department Technical Report Series - 1996
Department Technical Report Series Index
Contents Page - 40 Years of Computing at Newcastle
Technical Report Abstract No. 556, 30 June 1997