Инсерционное моделирование связано с исчислениями процессов CCS и π-исчислением Милнера. Это основа современных систем массового обслуживания Erlang, JoCaml, Akka и других. Нужно передать Летичевскому, что программы нужно верифицировать с помощью Coq и Agda, а не так как он думает. Задроты, которых пиздит Вован, занимаются такими вещами между делом, без тусовки в полуразрушенных корпусах НИИ за 2000 гривен в порваных свитерах. И всегда могут показать ссылку на какой-нибудь компилятор языка по CCS и исчислению Милнера: github.com/...nrc/research-ml :)
Инсерционное моделирование связано с исчислениями процессов CCS и π-исчислением Милнера. Это основа современных систем массового обслуживания Erlang, JoCaml, Akka и других. Нужно передать Летичевскому, что программы нужно верифицировать с помощью Coq и Agda, а не так как он думает.
Задроты, которых пиздит Вован, занимаются такими вещами между делом, без тусовки в полуразрушенных корпусах НИИ за 2000 гривен в порваных свитерах. И всегда могут показать ссылку на какой-нибудь компилятор языка по CCS и исчислению Милнера: github.com/...nrc/research-ml :)