Einleitung

CSP = abstraktes Modell für Kommunikation von Prozessen

C. A. R. Hoare 1978,

Grundlage für Prozeßmodell in Occam, Ada, Go, ...

Definition (stark vereinfacht):

CSP = (endliche) Automaten, genauer betrachtet

• Zustand = Zustand
• Alphabet = atomare Ereignisse
• Sprach-Äquivalenz Prozeß-Äquivalenz