В докладе рассматривается практическая применимость языков формального описания параллельно выполняющихся взаимодействующих процессов внутри вычислительной системы. Для этого с помощью одного из таких формализмов, а именно пи-исчисления, производится доказательство наличия решения у широко известной задачи об обедающих философах
Саввин Е.К. (науч. рук. Лаздин А.В.) О практической применимости языков формального описания взаимодействующих процессов // Сборник тезисов докладов конгресса молодых ученых. Электронное издание. – СПб: Университет ИТМО, [2021]. URL: https://kmu.itmo.ru/digests/article/6334