CSP (Comunicación de Procesos Secuenciales) es un modelo de programación de sistemas concurrentes basado en la comunicación entre procesos.