The Temporal Logic of Reactive and Concurrent Systems :
[Book]
Specification
by Zohar Manna, Amir Pnueli.
New York, NY
Springer New York
1992
(xiv, 427 pages)
I: Models of Concurrency --;1: Basic Models --;2: Modeling Real Concurrency --;II: Specifications --;3: Temporal Logic --;4: Properties of Programs --;References --;Index to Symbols --;General Index.
Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, control systems, etc. Temporal logic is a formal tool/language which yields excellent results in specifying reactive systems.