Càlcul Pi
De Viquipèdia
En la ciència de computació teòrica, l' càlcul-π és una notació desenvolupada originalment per Robin Milner, Joachim Parrow i David Walker, com un avanç sobre el càlcul de sistemes comunicants per tal de proveir mobilitat a la modelització concurrent.
El càlcul-π es troba ubicat dins de la família dels anomenats càlculs de procés, els quals han estat utilitzats per modelar els llenguatges de programació concurrent, de la mateixa manera que el càlcul-λ, ha estat utilitzat per modelar els llenguatges de programació paral·lela.
