Semantik eines Prozesses ist Menge von Paaren von
dann verschiedene Auswahl-Operatoren:
(Umgebung bestimmt, wie es weitergeht)
(Prozeß entscheidet)