Temporal Semantics of Programs

  • Fred Kröger
Part of the EATCS Monographs on Theoretical Computer Science book series (EATCS, volume 8)


We want to apply temporal logic to the description of (the computational behaviour of) programs and their verification. For the sake of technical conciseness we restrict the programs to a fixed (somewhat abstract) syntactic form.


Temporal Logic Elementary Statement Mutual Exclusion Propositional Variable Parallel Component 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • Fred Kröger
    • 1
  1. 1.Institut für InformatikUniversität MünchenMünchen 2Germany

Personalised recommendations