Описание тега pi-calculus
В теоретической информатике π-исчисление (или пи-исчисление) - это исчисление процессов, первоначально разработанное Робином Милнером, Джоакимом Парроу и Дэвидом Уокером как продолжение работы над исчислением процессов CCS (Исчисление систем связи). А именно, оно направлено на описание сложных параллельных вычислений, причем вычислительные устройства с несколькими агентами являются мобильными системами. Роберт Милнер расширил Пи-исчисление в более широкую теорию "Биграфов".
0
ответов
Безопасен ли тип двойки STM?
Я написал библиотеку JAVA для pi-исчисления, которая использует Deuce STM для управления параллельными процессами. Я также хочу доказать безопасность типов моей библиотеки. Является ли тип библиотеки Deuce STM безопасным? Если да, некоторые ссылки н…
20 мар '13 в 15:04
0
ответов
Существуют ли какие-либо модельные шашки или системы доказательств для исчисления Пи?
Я слегка помешался на Pi Calculus Милнера, и, хотя мне было очень весело рисовать маленькие диаграммы на доске, мне было любопытно, есть ли хорошие (или даже плохие) системы моделирования, чтобы он мог выполнять проверку на соответствие вашей логике…
09 мар '18 в 20:32
0
ответов
Реализация пи-исчисления с использованием STM в JAVA
Я хочу реализовать `pi-исчисление в JAVA. Для параллелизма я использую библиотеку Deuce STM. Изменение синтаксиса JAVA будет затруднено, поэтому я планирую использовать аннотированные переменные и общие функции / классы. например, Класс Channel{ час…
29 авг '12 в 05:44
1
ответ
Какой самый простой способ прекратить (отравить) процесс производителя в Occam?
Мое приложение occam-pi имеет длительный процесс создания, определенный следующим образом: PROC producer (VAL INT start, step, CHAN OF INT c!) INT count: SEQ count := start WHILE TRUE SEQ c ! count count := count + step : Отправляет значение на кана…
23 апр '14 в 13:30
1
ответ
Каковы семантики оценки в Pi Calculus Милнера, когда несколько процессов читают из одного канала?
Каковы семантики оценки в Pi Calculus Милнера, когда несколько процессов читают из одного канала? Правила говорят, что !x(a). P | ?x(b) Q ~> P | Q[a/b] но как насчет таких ситуаций, как !x(a). P | ?x(b) Q | ?x(c) R ?
17 апр '12 в 15:32
0
ответов
Как преобразовать некоторые определения CCS (исчисление коммуникационной системы) в реальный код Erlang?
У меня есть некоторые определения CCS (исчисление систем связи), которые представляют реакцию горения угарного газа: 2CO + O2 = 2CO2 Определение CCS: слова в верхнем регистре, такие как CO, O2, C и O, представляют процессы в CCS, они взаимодействуют…
23 апр '19 в 13:59