pi calculus

The Pi-calculus is a theory of Mobile Processes.
Some useful links:
Pi calculus on Wikipedia
Theory of Distributed Systems (course COM3190/COM6890)
Mobile Processes
Pi Calculus for SOA
Comparing the Expressive Power of the Synchronous and the Asynchronous pi-calculus
Pint, an Erlang-based pi-calculus platform (tool)