Temporal Logic of Reactive and Concurrent Systems

Reactive systems are computing systems which are interactive, such as real-time systems, operating systems, concurrent systems, and control systems. This volume offers a self-contained introduction to temporal logic and an introduction to the computational model for reactive programs.