๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Continuous time temporal logic with counting

โœ Scribed by Yoram Hirshfeld; Alexander Rabinovich

Book ID
113642021
Publisher
Elsevier Science
Year
2012
Tongue
English
Weight
183 KB
Volume
214
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Alternating-time temporal logic
Alternating-time temporal logic
โœ Rajeev Alur; Thomas A. Henzinger; Orna Kupferman ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 36 KB
Model-checking Timed Temporal Logics
Model-checking Timed Temporal Logics
โœ Patricia Bouyer ๐Ÿ“‚ Article ๐Ÿ“… 2009 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 364 KB
Logic models for continuous time
Logic models for continuous time
โœ Morin, L. ๐Ÿ“‚ Article ๐Ÿ“… 1997 ๐Ÿ› The Institution of Electrical Engineers ๐ŸŒ English โš– 977 KB
Time-extraction for temporal logic-logic
Time-extraction for temporal logic-logic programming and local process time
โœ Takashi Hattori ๐Ÿ“‚ Article ๐Ÿ“… 1994 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 783 KB

Temporal logic is useful to describe a variety of computer systems such as operating systems and real-time process control systems, where explicit treatment of time plays an essential role. In the logic, the notion of time is represented by a sequence of states at each point in time, which is called