IEEE - Institute of Electrical and Electronics Engineers, Inc. - An abstract execution model for temporal logic programs

Proceedings of TENCON '93. IEEE Region 10 International Conference on Computers, Communications and Automation

Author(s): M.A. Orgun
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1993
Conference Location: Beijing, China, China
Conference Date: 19 October 1993
Volume: 2
Page Count: 4
ISBN (Paper): 0-7803-1233-3
DOI: 10.1109/TENCON.1993.320116
Regular:

The paper proposes an abstract execution model which can be used as the basis for implementing temporal logic programs on multi-processor architectures. Temporal logic programs offer a form of... View More

Advertisement