Communicating Sequential Processes (CSP)

• abstraktes Modell für Kommunikation von Prozessen
• Abstraktion: (endliches) Alphabet von (einfachen) Nachrichten, synchrone Kommunikation

• entwickelt 1978 von C. A. R. Hoare

  http://research.microsoft.com/en-us/people/thoare/

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