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:

und weitere Operatoren (später)



Johannes Waldmann 2011-06-29