La comunicazione dei processi sequenziali (CSP) è un linguaggio che utilizza la matematica e la logica per analizzare la comunicazione tra i sistemi. CSP descrive processi simultanei, che operano simultaneamente in un sistema ma non sono paralleli. La concorrenza consente ai normali programmi per computer di funzionare correttamente eseguendo diverse attività durante lo stesso periodo di tempo, ma queste attività non dipendono l'una dall'altra (o parallelamente). In CSP, i sistemi concorrenti comunicano attraverso il passaggio di messaggi: i processi sequenziali comunicano tra loro. Questa comunicazione è algebrica e logica.
CSP è stato inizialmente sviluppato da Tony Hoare nel 1978. Ha perfezionato la sua teoria negli anni '1980 e ha pubblicato un libro popolare su CSP; quel libro, intitolato semplicemente Communicating Sequential Processes, è ancora considerato una delle principali autorità in questo linguaggio. CSP può essere utilizzato per analizzare software, sistemi informatici e alcuni linguaggi di programmazione. Il linguaggio di programmazione Go, ad esempio, dispone di concorrenza nativa e funzionalità CSP.
CSP scompone i processi che avvengono contemporaneamente e interagiscono tra loro, utilizzando equazioni algebriche e logica per descrivere le interazioni. Questo è noto come algebra di processo. Nel suo libro, Hoare ha dettagliato la differenza tra eventi (momenti specifici di oggetti) e processi (come si comportano quegli oggetti durante la loro vita). Un evento potrebbe essere descritto come x in un'equazione CSP e un processo potrebbe essere descritto come Y. Eventi e processi sono strettamente differenziati. Le protezioni sono requisiti che vengono posti prima di un comando in CSP, stabilendo restrizioni prima che un comando di programma possa essere eseguito. Queste formule algebriche presentano chiare connessioni tra sistemi informatici e processi che vengono eseguiti contemporaneamente.