Divergenz

Motivation:

• ein Prozeß divergiert, wenn er unendliche viele τ-Übergänge direkt nacheinander ausführt

• ein divergenter Prozeß hat keine sequentielle Fortsetzung
• durch P;Q kann man „beobachten,`` ob P divergiert

Semantik-Begriff erweitern:

div(P) = Menge aller Spuren, die von P zu einem Prozeß führen, der divergiert.