Die Kommunikation sequentieller Prozesse (CSP) ist eine Sprache, die mithilfe von Mathematik und Logik die Kommunikation zwischen Systemen analysiert. CSP beschreibt gleichzeitige Prozesse, die gleichzeitig in einem System ablaufen, aber nicht parallel sind. Durch die Parallelität können normale Computerprogramme ordnungsgemäß ausgeführt werden, indem verschiedene Aufgaben im selben Zeitraum ausgeführt werden. Diese Aufgaben sind jedoch nicht voneinander abhängig (oder parallel zueinander). In CSP kommunizieren gleichzeitige Systeme durch Weiterleiten von Nachrichten: Sequentielle Prozesse kommunizieren untereinander. Diese Kommunikation ist algebraisch und logisch.
CSP wurde ursprünglich 1978 von Tony Hoare entwickelt. Er verfeinerte seine Theorie in den 1980er Jahren und veröffentlichte ein populäres Buch über CSP; Dieses Buch mit dem einfachen Titel "Communicating Sequential Processes" gilt immer noch als eine der führenden Autoritäten in dieser Sprache. Mit CSP können Software, Computersysteme und einige Programmiersprachen analysiert werden. Die Programmiersprache Go verfügt beispielsweise über native Parallelitäts- und CSP-Funktionen.
CSP zerlegt Prozesse, die gleichzeitig ablaufen und miteinander interagieren, und verwendet algebraische Gleichungen und Logik, um die Wechselwirkungen zu beschreiben. Dies ist als Prozessalgebra bekannt. In seinem Buch beschrieb Hoare den Unterschied zwischen Ereignissen (bestimmte Momente von Objekten) und Prozessen (wie sich diese Objekte über ihr Leben verhalten). Ein Ereignis kann in einer CSP-Gleichung als x beschrieben werden, und ein Prozess kann als Y beschrieben werden. Ereignisse und Prozesse werden streng unterschieden. Guards sind Anforderungen, die vor einem Befehl in CSP gestellt werden und Einschränkungen festlegen, bevor ein Programmbefehl ausgeführt werden kann. Diese algebraischen Formeln stellen klare Verbindungen zwischen Computersystemen und gleichzeitig laufenden Prozessen her.