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