Специалист по Occam и модели CSP для параллельных вычислений

Занимаюсь параллельным программированием и давно специализируюсь на языке Occam, который вырос из формализма взаимодействующих последовательных процессов Тони Хоара. Клиенты приходят ко мне с двумя типами запросов. Первый — доставшаяся в наследство транспьютерная система, которая по-прежнему держит на себе производственную линию, измерительный прибор или испытательный стенд, а сопровождать её код внутри компании больше некому. Второй — новая разработка, где заказчику нужен параллелизм, о котором можно строго доказать отсутствие взаимных блокировок, а не очередная путаница из потоков и блокировок. Работаю с обоими сценариями. При работе с наследием я разбираю исходный текст на Occam 2, заново вычерчиваю граф процессов, фиксирую назначение каждого канала и всех конструкций PAR и ALT, а дальше либо оставляю систему жить на эмуляторах транспьютера, либо аккуратно перекладываю логику на occam-pi, на C с библиотекой CSP или на каналы языка Go, не меняя ни одной детали в поведении синхронизации. Для новых задач я описываю систему как набор последовательных процессов, обменивающихся сообщениями по типизированным каналам, проверяю её на дедлоки и живлоки и передаю читаемый, снабжённый комментариями код вместе со средой тестирования. В комплект сдачи обычно входят схема процессов с пояснениями, рабочие исходники в системе контроля версий, настроенная сборка и симуляция, а также сжатый разбор выбранной модели конкурентности, чтобы поддержка не превращалась для вашей команды в головоломку. Надёжность результата для меня выше внешней изящности решения: каналы держу небуферизованными, пока нет причины поступить иначе, охранники ALT всегда под контролем, а разделяемое состояние стараюсь исключить на этапе проектирования. Оживить один капризный транспьютерный узел или собрать параллельную симуляцию с чистого листа — доведу задачу от разбора до сдачи с тестами. Расскажите, чем занимается система, на каком оборудовании или рантайме она должна работать и какая часть прежнего кода сохранилась, и я честно оценю трудоёмкость ещё до начала работ.