Operational semantics of Framed Tempura

Pnueli, 1977, The temporal logic of programs, FOCS, 46

Abadi, 1989, Temporal logic programming, J. Symb. Comput., 8, 277, 10.1016/S0747-7171(89)80070-7

Tarski, 1955, A lattice theoretical fixpoint theroem and its application, Pacific J. Math., 5, 285, 10.2140/pjm.1955.5.285

Hoare, 1978, Communicating sequential processes, Commun. ACM, 21, 666, 10.1145/359576.359585

R. Milner, A calculus of communicate systems, in: LNCS. Springer-Verlag, 1980.

Eric C.R. Hehner, A practical theory of programming, in: Science of Computer Programming. North-Holland, 1990, pp. 133–158.

Brzoska, 1998, Programming in metric temporal logic, Theor. Comput. Sci., 202, 55, 10.1016/S0304-3975(97)00139-4

Fisher, 1996, Temporal semantics for concurrent metatem, J. Symb. Comput., 22, 627, 10.1006/jsco.1996.0069

Rondogiannis, 1998, Branching-time logic programming: the language cactus and its applications, Comput. Lang., 24, 155, 10.1016/S0096-0551(98)00009-5

Z. Duan, An extended interval temporal logic and a framing technique for temporal logic programming, Ph.D. thesis (Technical Report No. 556), University of Newcastle upon Tyne, 1996.

Z. Duan, X. Yang, M. Koutny, Framed temporal logic programming, Science of Computer Programming, vol. 70 (1), Elsevier North-Holland, 2008, pp. 31–61.

Duan, 2004, A framed temporal logic programming language, J. Comput. Sci. Technol., 19, 341, 10.1007/BF02944904

Duan, 2005, Semantics of framed temporal logic programs, vol. 3668, 356

Yongtao Ma, Zhenhua Duan, Xiaobing Wang, Xiaoxiao Yang, An interpreter for framed tempura and its application, in: First IEEE and IFIP International Symposium on Theoretical Aspects of Software Engineering, 2007.

Zhenhua Duan, Cong Tian, Li Zhang, A decision procedure for propositional projection temporal logic with infinite models, in: Acta Informatic. Springer-Verlag, 2008, pp. 43–78.

Tian, 2007, Model checking propositional projection temporal logic based on SPIN, ICFEM07, 246

Emerson, 1982, Using branching temporal logic to synthesize synchronization skeletons, Sci. Comput. Program., 2, 241, 10.1016/0167-6423(83)90017-5

Tang, 1983, Toward a unified logic basis for programming languages, 425

Fujita, 1986, Tokio: Logic programming language based on temporal logic and its compilation to PROLOG, vol. 225, 695

Lamport, 1994, The temporal logic of actions, ACM Trans. Program. Lang. Syst., 16, 872, 10.1145/177492.177726

L. Ness, A parallel executable temporal logic language, in: Proceedings of the ACM SIGSOFT, International Workshop on Formal Methods in Software Development. Napa, California, 1990.

Dijkstra, 1975, Guarded commands, nondeterminiacy, and formal derivation of programs, Commun. ACM, 18, 453, 10.1145/360933.360975

N. Bidoit, Negation in rule-based data base languages: a survey, Theor. Comput. Sci. 78 (1981) (3–83).