CSP: Syntax

E ist eine Menge von Ereignissen

Die Menge $\mathbb {P}$ (E) der Prozesse über E definiert durch:

• STOP∈$\mathbb {P}$,
• wenn e∈E und P∈$\mathbb {P}$, dann (e→P)∈$\mathbb {P}$
• wenn P₁, P₂∈$\mathbb {P}$, dann sind in $\mathbb {P}$:
  • P₁;P₂ (Nacheinanderausführung)
  • P₁$\Box$P₂ (Auswahl)
  • für C⊆E: P₁|_CP₂ (nebenläufige Ausführung mit Kommunikation)
• P₁^*∈$\mathbb {P}$ (eine Form der Iteration)