- Cálculo pi
-
Cálculo pi
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.
Categoría: Lenguajes de especificación
Wikimedia foundation. 2010.