Process calculi

Вики

Джойн-исчисление

/

Соединение-исчисление Основы Join-Calculus Join-Calculus разработан в INRIA для создания распределенных языков программирования.  Избегает коммуникационных конструкций, таких как rendezvous, которые сложны […]

Вики

БУМАГА

/

ПЕПА Основы PEPA PEPA — стохастическая алгебра процессов для моделирования компьютерных и коммуникационных систем.  Язык расширяет классические алгебры, добавляя вероятностное

Вики

API-исчисление

/

API-Математический анализ Основы API Calculus API Calculus — это математическая программа, которая решает задачи с использованием операционных систем.  Разработана Робином

Вики

Окружающее исчисление

/

Окружающий математический анализ Основы Ambient calculus Ambient calculus разработан для описания и теоретизации параллельных систем с мобильностью.  Мобильность включает вычисления

Вики

Неограниченный недетерминизм

/

Неограниченный недетерминизм Определение и роль неограниченного недетерминизма Неограниченный недетерминизм — свойство параллелизма, позволяющее задержку в обслуживании запросов.  Гарантирует обработку запроса

Вики

π-исчисление

/

Π-исчисление Основы π-исчисления π-исчисление — это модель вычислений, которая позволяет описывать процессы и их взаимодействие.  Оно основано на теории процессов,

Вики

mCRL2

/

MCRL2 Обзор mCRL2 mCRL2 — язык для описания параллельных систем событий  Включает инструменты для моделирования, анализа и визуализации  Основан на

Вики

Исчисление процессов

/

Вычисление процессов Основы теории процессов Теория процессов — это математическая модель для описания параллельных вычислений.  Она включает в себя процессы,

Прокрутить вверх