In theoretical computer science, the <math>\pi-calculus is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS. The aim of the <math>\pi-calculus is to be able to describe concurrent computations whose configuration may change during the computation.
| Property | Value |
|---|
| dbpprop:abstract
|
- In theoretical computer science, the <math>\pi-calculus is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS. The aim of the <math>\pi-calculus is to be able to describe concurrent computations whose configuration may change during the computation.
- π-Kalkül ist ein Prozesskalkül, das von Robin Milner als Nachfolger von seinem Calculus of Communicating Systems (CCS) entwickelt wurde.
- En la ciencia de computación teórica, el cálculo-π es una notación desarrollada originalmente por Robin Milner, Joachim Parrow y David Walker, como un avance sobre el cálculo de sistemas comunicantes con el fin de proveer movilidad al modelado concurrente. El cálculo-π se encuentra ubicado dentro de la familia de los denominados cálculos de proceso, los cuales han sido utilizados para modelar los lenguajes de programación concurrente, del mismo modo en que el cálculo-λ, ha sido utilizado para modelar los lenguajes de programación paralela.
- 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.
- В теорії комп'ютерних наук, π-числення є численням процесів, розроблене Робіном Мілнером, Ійохімом Перроу та Девідом Волкером в якості розширення та розвитку роботи над численням процесів CCS (англ. Calculus of Communicating Systems). На меті створення π-числення є надання можливості описання конкурентних процесів, конфігурація яких може змінюватись під час роботи.
|
| dbpprop:hasPhotoCollection
| |
| dbpprop:reference
| |
| rdfs:comment
|
- In theoretical computer science, the <math>\pi-calculus is a process calculus originally developed by Robin Milner, Joachim Parrow and David Walker as a continuation of work on the process calculus CCS. The aim of the <math>\pi-calculus is to be able to describe concurrent computations whose configuration may change during the computation.
- π-Kalkül ist ein Prozesskalkül, das von Robin Milner als Nachfolger von seinem Calculus of Communicating Systems (CCS) entwickelt wurde.
- En la ciencia de computación teórica, el cálculo-π es una notación desarrollada originalmente por Robin Milner, Joachim Parrow y David Walker, como un avance sobre el cálculo de sistemas comunicantes con el fin de proveer movilidad al modelado concurrente.
- 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.
- В теорії комп'ютерних наук, π-числення є численням процесів, розроблене Робіном Мілнером, Ійохімом Перроу та Девідом Волкером в якості розширення та розвитку роботи над численням процесів CCS (англ. Calculus of Communicating Systems).
|
| rdfs:label
|
- Pi-calculus
- Pi-Kalkül
- Cálculo pi
- Pi-calcul
- Пі-числення
|
| owl:sameAs
| |
| skos:subject
| |
| foaf:page
| |
| is dbpedia-owl:Person/knownFor
of | |
| is dbpedia-owl:knownFor
of | |
| is dbpprop:disambiguates
of | |
| is dbpprop:knownFor
of | |
| is dbpprop:redirect
of | |
![[RDF Data]](/statics/sw-cube.png)
