Джойн-исчисление
Соединение-исчисление Основы Join-Calculus Join-Calculus разработан в INRIA для создания распределенных языков программирования. Избегает коммуникационных конструкций, таких как rendezvous, которые сложны […]
Соединение-исчисление Основы Join-Calculus Join-Calculus разработан в INRIA для создания распределенных языков программирования. Избегает коммуникационных конструкций, таких как rendezvous, которые сложны […]
API-Математический анализ Основы API Calculus API Calculus — это математическая программа, которая решает задачи с использованием операционных систем. Разработана Робином
Окружающий математический анализ Основы Ambient calculus Ambient calculus разработан для описания и теоретизации параллельных систем с мобильностью. Мобильность включает вычисления
Алгебра взаимодействующих процессов Основы ACP ACP — алгебра для описания параллельных систем, часть семейства алгебр процессов. Разработана в 1982 году
Неограниченный недетерминизм Определение и роль неограниченного недетерминизма Неограниченный недетерминизм — свойство параллелизма, позволяющее задержку в обслуживании запросов. Гарантирует обработку запроса
Π-исчисление Основы π-исчисления π-исчисление — это модель вычислений, которая позволяет описывать процессы и их взаимодействие. Оно основано на теории процессов,
Построение и анализ распределенных процессов Обзор CADP CADP — это инструмент для проверки надежности сложных систем, разработанный в INRIA. CADP
Математический анализ взаимодействующих систем Основы CCS Математический анализ взаимодействующих систем (CCS) был разработан Робином Милнером в 1980 году. Моделирует неразрывную
Взаимодействие последовательных процессов Обзор CSP CSP — это язык программирования для описания параллельных процессов, разработанный Тони Хоаром. Он основан на
Вычисление процессов Основы теории процессов Теория процессов — это математическая модель для описания параллельных вычислений. Она включает в себя процессы,
Язык спецификации временного упорядочения LOTOS — формальный язык спецификации, основанный на временном упорядочении событий. Используется для спецификации протокола связи в