Introduction to the temporal logic of - in particular paral- lel -
programs.Divided into three main parts: - Presenta- tion of the pure
temporal logic: language, semantics, and proof theory; - Representation
of programs and their proper- ties within the language of temporal
logic; - Application of the logical apparatus to the verification of
program proper- ties including a new embedding of Hoare's logic into the
temporal framework.