Skip to content
EntityQ602886· pop 11· linked from 74 articles

Also 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.

Wikidata facts

Instance of
process calculus
Sources (3)

via Wikidata · CC0

Article · Français

Le Pi-calcul (ou π-calcul) est un langage de programmation théorique inventé par Robin Milner. Ce langage occupe dans le domaine de l'informatique parallèle et distribuée un rôle similaire à celui du λ-calcul dans l'informatique classique.

Abstract from DBpedia / Wikipedia · CC BY-SA