Spur-Semantiken

bis jetzt: Zustandsübergangssystem

• Zustände = Prozeß-Terme,
• Übergänge und

entspricht: (endlicher) Automat mit Epsilon-Übergängen

jetzt: Vergleich solcher Systeme (Automaten) durch Beobachtungen.

• (bekannt) Aktionen sind beobachtbar

  denotationale Semantik des System ist Spur-Sematik: Menge aller möglichen Aktionsfolgen

• (neu) Deadlocks sind beobachtbar, Verfeinerung der Spur-Semantik