Теория модели актера
Теория модели актора Основы модели актера Модель актера описывает параллельные вычисления с использованием акторов и сообщений. Актор – это сущность, […]
Вики
Denotational semantics
Вики
Неограниченный недетерминизм
Неограниченный недетерминизм Определение и роль неограниченного недетерминизма Неограниченный недетерминизм – свойство параллелизма, позволяющее задержку в обслуживании запросов. Гарантирует обработку запроса
Вики
Денотационная семантика
Денотативная семантика Основы денотационной семантики Денотационная семантика – это математическая теория, описывающая смысл программ. Она отличается от операционной семантики, которая