Càlcul Pi

De Viquipèdia
Dreceres ràpides: navegació, cerca

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.