Теория взаимодействующих последовательных процессов

Теория взаимодействующих последовательных процессов (CSP, англ. communicating sequential processes) — формальный язык для описания моделей взаимодействия в параллельных системах^[1], теория из семейства исчислений процессов, основанных на передаче сообщений по каналам. Применена как теоретическая основа для языка программирования Оккам^[1][2], заложена в моделях параллелизма языков Limbo и Go^[3].

Первый вариант описан в статье Энтони Хоара в 1978 году^[4], но он был признан неудачным, поскольку не представлял неограниченный индетерминизм^[англ.]. Впоследствии под влиянием идей, заимствованных из модели акторов Карла Хьюитта^[англ.] теория была значительно изменена. В версиях от 1985 года уже использовался неограниченный индетерминизм; с тех пор теория значительно развита^[5] и остаётся предметом активных исследований^[6].

На практике теория применялась в качестве инструмента формальной спецификации систем с параллелизмом, таких как, например, транспьютер T9000^[7] или безопасной системы электронной коммерции^[8].