Temporal Logic of Actions

Ausgangspunkt 
Zustand 
Schritt 
Ablauf 
System 
Zustandsformel 
Schrittformel 
Zustands- und Schrittformeln 
Suffix 
Ablaufformel 
Stottern 
Stotteräquivalenz 
Stotterinvarianz 
aktiviert 
Weak Fairness 
Strong Fairness 
Implementation 
Komposition