Википедия
Пи-исчисление
π-исчисление в теоретической информатике — исчисление процессов , изначально разработанное Робином Милнером , Иоахимом Парровом и Дэвидом Уолкером как продолжение работы над исчислением общающихся систем . Целью π-исчисления является возможность описать параллельные вычисления , конфигурация которых может меняться на протяжении вычисления.