Communicating Sequential Processes (CSP)

Uma linguagem formal para descrever padrões de interação em sistemas concorrentes. É um modelo matemático que fornece uma maneira de especificar e verificar a correção de sistemas concorrentes.