Перевод названия: SESSION TYPES
Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций
Конференция: Российская наука в современном мире; Москва; Москва
Год издания: 2019
Ключевые слова: distributed programming, type system, session types, распределённое программирование, π-исчисление, система типов, типы-сессии, π-calculus
Аннотация: Рассмотрено представление распределённых систем с помощью π-исчисления и его применение в виде типов-сессий в языках программирования. The representation of distributed systems using π-calculus and its use in the form of session types in programming languages are discussed.
Журнал: Российская наука в современном мире
Выпуск журнала: Часть 1
Номера страниц: 73-74
Издатель: Общество с ограниченной ответственностью "Актуальность.РФ"