English Π-calculus Cited by user Fronx on 15 Feb 2012 In theoretical computer science, the π-calculus (or pi-calculus) is a process calculus.