Sentence examples for temporal logic in from inspiring English sources

Dr. Pnueli's findings on using Prior's concepts (now more commonly known as temporal logic) in computer systems appeared in a landmark 1977 paper, "The Temporal Logic of Programs".

The authors compare their approach to the work done in temporal logic (see the entry on temporal logic in this encyclopedia).

The most popular and widely used temporal logic in computer science is the linear time temporal logic LTL, proposed in the seminal paper Pnueli (1977) and first explicitly axiomatized and studied in Gabbay et al. (1980).

For this general setting, we investigate games in which players have goals specified in Linear Temporal Logic (in which case it is assumed that players choose deterministic strategies) and in Computation Tree Logic (in which case players select nondeterministic strategies).

Generally, WMSs either enforce strict temporal synchronization across the various input, intermediate and output data sets (i.e., following the SDF computing model [6]), or leave the temporal logic in the programmer hands, who have often to explicitly program non-synchronous behavior to meet application latency and prioritization requirements.

Taken together, the three groups reveal a temporal logic in the form of an itinerary.

Other applications of temporal logics in computer science include: temporal databases, real-time processes and systems, hardware verification, etc.

Illustrative examples of the expressiveness of temporal logics in systems biology can be found in Antoniotti et al. (2003); Batt et al. (2005); Bernot et al. 2004); Calzone et al. (2006) and Chabrier and Fages (2003).

The properties are formulated in terms of temporal logic or in a suitable high-level query template capturing recurrent biological questions [ 48].

The term "parallelism" has also been used in [19] in the limited context of executing the monitor of a temporal logic specification in a separate thread from the program being observed.

Verification of temporal logic formulas in Alzheimer's disease indicates that, overexpressed/mutated TRAF2, NFκB or ASK1 in the cell will promote the synthesis of Amyloid-β (Aβ), leading to the pathogenesis of AD in the future.