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

Kommentare

Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.