Die Prozeß-Algebra (Syntax)

Terme zur Beschreibung von Prozessen

(vgl. reguläre Ausdrücke zur Beschreibung von Sprachen)

Menge Proc(Σ) der Prozeß-Terme über einem Alphabet Σ von atomaren Aktionen:

• STOP∈Proc(Σ)
• Präfix: a∈Σ∧P∈Proc⇒(a→P)∈Proc
• external choice: P_i∈Proc(Σ)⇒(P₁ P₂)∈Proc(Σ)
• internal choice: P_i∈Proc(Σ)⇒(P₁ P₂)∈Proc(Σ)

und weitere Operatoren (später)

• Fixpunkt (für Iteration)
• Verschränkung (für nebenläufige Ausführung)