Verschiedene Prozeß-Semantiken

bisherige Semantik:

• Menge der vollständigen Spuren (complete traces)

  (entspr. Sprache eines endlichen Automaten)

• keine Beschreibung von „laufenden`` Prozessen

Variante:

• Menge der unvollständigen Spuren (partial traces)

  (jeder Automatenzustand ist akzeptierend)

• keine Beschreibung von Verklemmungen (deadlocks)