scientific article
From MaRDI portal
Publication:3729994
zbMath0596.68013MaRDI QIDQ3729994
No author found.
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Prologinterval temporal logicTokiospecification of concurrent programslinear time temporal logictemporal logic programming languageTokio compiler in Prolog
Related Items
Operational semantics of Framed Tempura ⋮ Modeling data-intensive reactive systems with relational transition systems ⋮ MetateM: An introduction ⋮ Programming in metric temporal logic ⋮ A cylinder computation model for many-core parallel computing ⋮ An infinitary encoding of temporal equilibrium logic ⋮ Linear time-dependent constraints programming with MSVL ⋮ Temporal logic programming