Пи-исчисление: различия между версиями
[отпатрулированная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
РоманСузи (обсуждение | вклад) →Литература: дополнение источники |
РоманСузи (обсуждение | вклад) →Неформальное определение: показал источник |
||
Строка 4:
<math>\pi</math>-исчисление принадлежит к семейству [[Исчисление процессов|исчислений процессов]]. Фактически <math>\pi</math>-исчисление как [[Лямбда-исчисление|λ-исчисление]] настолько минимально, что не содержит примитивов, таких как [[Число|числа]], [[булевы выражения]], [[структуры данных]], [[переменные]], [[Функция (программирование)|функции]] или операторы [[Контроль потока|управления потоком]] (например, if-then-else, while).
Пи-исчисление определяет динамически взаимодействующие друг с другом параллельные процессы. Каждый процесс может состоять из одного или нескольких '''''действий''''', расположенных последовательно или параллельно, а также альтернативно или рекурсивно. Действием может быть отправка или получение данных по каналу. Сообщение от одного процесса другому включает имя канала, который может быть использован для ответа. Имя является переменной{{sfn|Havey|2005}}.
=== Конструкции процесса ===
|