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