scientific article; zbMATH DE number 3960965

MaRDI QIDQ3729994zbMATH OpenFDO

Authors

Publication date 1986

zbMATH Keywords

interval temporal logiclinear time temporal logicPrologspecification of concurrent programstemporal logic programming languageTokioTokio compiler in Prolog

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of operating systems (68N25)

Recommendations

• Temporal logic programming
• Executable temporal logic systems
• Foundations of linear-time logic programming
• scientific article; zbMATH DE number 4082943
• scientific article; zbMATH DE number 4119670

Cited in

(10)

• Programming in metric temporal logic
• Modeling data-intensive reactive systems with relational transition systems
• MetateM: An introduction
• Linear time-dependent constraints programming with MSVL
• Operational semantics of Framed Tempura
• A cylinder computation model for many-core parallel computing
• An infinitary encoding of temporal equilibrium logic
• Temporal logic programming
• Using the HOL prove assistant for proving the correctness of term rewriting rules reducing terms of sequential behavior
• Linear-time temporal answer set programming

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3729994)