Без заголовка
Про CSP -- очень похоже. Про OCCAM -- тоже очень похоже. Про транспьютеры -- тоже очень похоже. Честная новая реализация старых идей, которые уже несколько раз не были реализованы ранее.
Тут два вопроса: 1. что они изменили принципиально по сравнению с этими старыми идеями (в Форте они подхакали регистровую архитектуру, чтобы позволить DSP-приложения) и 2. почему транспьютеры не "пошли", если не брать чисто ценовые вопросы. Возможно, как раз из-за требуемого "поворота мозгов" и их напряжения при программировании -- Instead of using an explicit thread-level system like the transputer, CPU designs became parallel implicitly at the instruction level, looking at the code being run and then distributing instructions that don't affect each-others' results across a number of internal arithmetic units within the CPU core. (http://en.wikipedia.org/wiki/Transputer).
Тем самым, сифорт -- это современные процессоры минус их внутренняя автоматика, мечта для хакера и смерть для программерского офисного планктона...