Пи-исчисление
Sign in to saveAlso known as pi-calculus
In theoretical computer science, the -calculus (or pi-calculus) is a process calculus. The -calculus allows channel names to be communicated along the channels themselves, and in this matter, it is able to describe concurrent computations whose network configuration may change during the computation.
Article · Русский
-исчисление в теоретической информатике — исчисление процессов, изначально разработанное Робином Милнером, и Дэвидом Уокером как продолжение работы над исчислением общающихся систем. Целью -исчисления является возможность описать параллельные вычисления, конфигурация которых может меняться на протяжении вычисления.
Abstract from DBpedia / Wikipedia · CC BY-SA