Some more general categories that the calculus belongs to (or related with) are: process algebra, programming language, theoretical computer science, lambda calculus, type theory.
The three basic ambient primitives, namely in, out, and open are expressive enough to simulate name-passing channels in the pi-calculus. On the other hand, the synchronous nature of the three actions is a difficulty in adopting this model as the programming language core for mobile and distributed computing.
External Links