Введение в теорию взаимодействующих последовательных процессов (Communicating Sequential Processes — CSP)

Как и было указано выше данная запись является укороченным вариантом более формальной записи:
VMS = μX: {coin, chock}•(coin → (choc → VMS))

Поправьте, пожайлуста, на:
VMS = μX: {coin, chock}•(coin → (choc → X))

Иначе сильно сбивает с толку :)

Автору — продолжать однозначно!

Я в годы асрирантуры занимался дополнением теории Ч. Хоара для описания (с целью последующей оптимизации) паралельных процессов.

Когда ожидается продолжение цикла статей?