Примерно 50 лет назад Дейкстра писал:
> -- Цитата:
> So, if you have a bright and sound idea now, you can expect it to be hailed as a novelty around the year 2025.
https://www.cs.utexas.edu/users/EWD/transcriptions/EWD12xx/EWD1243a.html
50 лет почти прошло )

Если серьезно, то как я уже писал:
https://forum.oberoncore.ru/viewtopic.php?f=75&t=4927&p=101088&hilit=verification#p101088
Распределенные параллельные программы, которые общаются посылкой сообщений, можно доказывать путем приведения к недетерминированному циклу Дейкстры.