Зато с их помощью описываются асинхронные системы.

Это одинаково применимо и к императивному программированию. 😉

Так есть и другие методы описания. СП хороши для теоретического исследования свойств параллельных процессов. Но для практического использования они слишком невыразительны. Приходится делать раскрашенные сети, а это вообще трындец с точки зрения отладки.

Формализм и символьный анализ очень круто выглядят на бумаге, но столкнувшись с IEEE754 все это летит к чертям, когда оказывается что простая коммутативность не работает для плавающих чисел) Теория и практика не всегда пересекаются особенно в вычеслительной технике

Просто Вы не проектировали асинхронные процессоры :) По поводу других методов — конечно! И это ключевой момент. А методы описаны в соотв. учебниках. Про монады там ни слова :)

Вроде с ассоциативностью проблемы, а не с коммутативностью? :)

Безусловно это тоже можно формаличировать, но все это выливется в чертовски сложные системы

Монады и не описывают ничего асинхронного. Нужны процессы, а это другой уровень абстракций. Но. Я просто к тому, что во всех случаях нужно понятие функции. Оно ключевое. Даже в Сетях Петри. И уметь программировать с функциями (а, на самом деле, если говорить точно, то с алгоритмами, ФП правильнее называть алгоритмическим программированием) полезно. И полезно эти навыки применять в проектировании. Всяко полезнее Сетей Петри. Асинхронные системы я постоянно проектирую, такова уж моя работа.

с ассоциотивностью тоже, но это хотя бы решено частично приоритетеом операций

Хотя... Не правильно сказал. Монады могут описывать асинхронное. Но само описание не будет схватывать эту асинхронность.

Это да, только ситхи возводят все в абсолют :) но почему-то идейные воинствующие оопшники мне не попадаются (только один известный персонаж периодически всплывает)

Нет, ну если так поставить вопрос — против "алгоритмического программирования" вообще сложно что-либо возразить :)

Асинхронность, как сами понимаете, бывает разная. На нижних уровнях это бестактовые схемы, асихронные выч. ядра. Далее — GALS. Далее мы выходим за пределы кристалла и там свои вопросы. Везде используются свои подходы.

Ну... Я могу рассуждать только о программировании. Про бестактовые системы читал, но, мне кажется, там такая простая модель, как СП, не подойдёт.

Вот классическая работа по теме. Картинка на обложке ведь что-то напоминает? :)

Надо содержимое смотреть

Это одна из книг Варшавского, специалиста (признанного во всем мире) в этой области.

Я просто не встречал нигде в реальных проектах СП в каком либо виде.

помню в оригинальном ТурбоПаскале была прагма для включения range-check вроде {$R+} называлась. Надо такое же принести

Ага, норм идея

Мои же собственные потуги обламывались в том месте, где требовалось условное управление потоками. В этих ситуациях сразу происходит взрыв сложности: ингибиторные дуги, моды, глобальные состояния, и так далее, и тому подобное. Совсем не удобно.