Eine beliebte Klassifizierung dynamischer Eigenschaften liefert die Unterscheidung inSicherheitsbedin-gungen(safety conditions) auf der eine Seite undLebendigkeitsbedingungen(liveness conditions) auf deranderen Seite. Nach [14], S. 94, schließt eine Sicherheitsbedingung das Auftreten von etwas Schlechtem aus, wäh-rend eine Lebendigkeitsbedingung das Auftreten von etwas Gutem garantiert. E