La communication des processus séquentiels (CSP) est un langage qui utilise les mathématiques et la logique pour analyser la communication entre les systèmes. CSP décrit des processus concurrents, qui fonctionnent simultanément dans un système mais ne sont pas parallèles. La concurrence permet aux programmes informatiques normaux de fonctionner correctement en exécutant différentes tâches au cours de la même période, mais ces tâches ne sont pas dépendantes (ou parallèles) les unes aux autres. Dans CSP, les systèmes simultanés communiquent par des messages passants: des processus séquentiels communiquent entre eux. Cette communication est algébrique et logique.
CSP a été initialement développé par Tony Hoare en 1978. Il a affiné sa théorie dans les années 1980 et a publié un livre populaire sur CSP; ce livre, simplement intitulé Communicating Sequential Processes, est toujours considéré comme l'une des principales autorités sur ce langage. CSP peut être utilisé pour analyser des logiciels, des systèmes informatiques et certains langages de programmation. Le langage de programmation Go, par exemple, possède des fonctionnalités natives de concurrence et de CSP.
CSP décompose les processus qui se produisent simultanément et interagissent les uns avec les autres, en utilisant des équations algébriques et une logique pour décrire les interactions. Ceci est connu sous le nom d'algèbre de processus. Dans son livre, Hoare a détaillé la différence entre les événements (moments spécifiques des objets) et les processus (comment ces objets se comportent au cours de leur vie). Un événement peut être décrit comme x dans une équation CSP, et un processus peut être décrit comme Y. Les événements et les processus sont strictement différenciés. Les gardes sont des exigences qui sont placées avant une commande dans CSP, établissant des restrictions avant qu'une commande de programme puisse être exécutée. Ces formules algébriques présentent des liens clairs entre les systèmes informatiques et les processus qui s'exécutent simultanément.