В работе рассматриваются модели процессов мониторинга распределенного программного проекта, построенные с привлечением алгебры процессов Робина Милнера, более известной как пи-исчисление. Для учета вычислений, возникающих при обработке информации, исходная алгебра расширена арифметикой над полем вещественных чисел.
мониторинг программного проекта, пи-исчисление, модели процессов