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

[HounD]

Хоарома?

[newpavlov]

Благодарю за указание, изначально там было «книги написанной Хоаром», отсюда и описка в процессе последующего редактирования.

[LeNsTR]

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

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

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

[LeNsTR]

И большое спасибо за перевод. Появилось сильное желание разобраться с теорией.

[newpavlov]

Спасибо за найденную ошибку, заодно обнаружилась и путаница с chock.

[Dehumanizer]

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

[a_b]

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

[MiniM]

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

[newpavlov]

В ближайшие дни, следующая часть наполовину готова и постепенно дописывается.