A framed temporal logic programming language

Barringer H, Fisher M, Gabbay Det al. METATEM: A framework for programming in temporal logic. InProc. REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formulisms, Correctness, Mook, Netherlands,Lecture Notes in Computer Science 430, Springer-Verlag, 1989, pp. 94–129.

Fujita M, Kono S, Tanaka Het al. Tokio: Logic programming language based on temporal logic and its compilation to PROLOG.Third International Conference on Logic Programming, London, Lecture Notes in Computer Science 225, Springer-Verlag, July, 1986, pp. 695–709.

Lamport L. The temporal logic of actions,ACM TOPLAS, 1994, 16: 872–923.

Moszkowski B. Executing Temporal Logic Programs. Cambridge University Press, Cambridge, 1986.

Tang C S. Toward a unified logic basis for programming languages. InProc. IFIP Congress 83, Amsterdam, Elsevier Science Publishers B.V. (North-Holland), 1983, pp. 425–429.

Tang C S. A temporal logic language oriented toward software engineering — Introduction to XYZ system (I).Chinese Journal of Advanced Software Research, 1994, 1(1): 1–27.

Duan Z, Koutny M, Holt C. Projection in temporal logic programming. In:Proc. 5th International Conference on Logic Programming and Automated Reasoning, Lecture Notes in Computer Science 822, Springer, 1994, pp. 333–344.

Milner R. Communication and Concurrency. Prentice Hall, London, 1989.

Hoare C A R. Communicating Sequential Processes. Prentice Hall International, London, 1985.

Manna Z, Pnueli A. The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1992.

Duan Z. An extended interval temporal logic and a framing technique for temporal logic programming [Dissertation]. Technical Report 556, Department of Computing Science, University of Newcastle upon Tyne, September, 1996.

McDermott D. Non-monotonic logic I.Artificial Intelligence, 1980, 13(1/2): 41–72.

McCarthy J. Circumscription — A form of non-monotonic reasoning.Artificial Intelligence, 1980, 13(1/2): 27–39.

Reiter R. A logic for default reasoning.Artificial Intelligence, 1980, 13(1/2): 81–132.

Rosner R, Pnueli A. A. choppy logic. InProc. First Annual IEEE Symposium on Logic in Computer Science, 1986, pp. 306–314.

Kröger F. Temporal Logic of Programs. Springer-Verlag, 1987.

Moszkowski B. Some very compositional temporal properties. InProgramming Concepts, Methods and Calculi. Olderog E R (Ed.) IFIP Transactions A-56, pp. 307–326. IFIP, Elsevier Science B.V., North-Holland, 1994.

Dijkstra E W. Guarded commands, nondeterminacy, and formal derivation of programs.Communication of the ACM, 1975, 18(8): 453–457.

Duan Z. An algorithm of constructing even order magic square.Chinese Journal of Micro-Electronics and Computer, 1990, 4: 13–16.

Ben-Ari M. Principles of Concurrent Programming. Prentice-Hall International, London, England, New Jersey, 1982.