Данная работа представляет собой анализ решения задачи обедающих философах с использованием языка Pict. В работе рассматриваются базовые понятия пи-исчисления, различные алгоритмы решения обобщённой задачи об обедающих философах. Предлагается решение задачи в рамках пи-исчисления и программное решение на основе языка программирования Pict. Проводятся сравнения решений и делаются выводы об перспективах применение языков программирования, основанных на пи-исчислении.

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