En la ciencia de computación teórica, el cálculo pi ( o π-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.