Foundational Calculi for Programming Languages
The Polyadic Pi-Calculus: a Tutorial
The Mobility Workbench -- A Tool for the Pi-Calculus
The Mobility Workbench User's Guide
A page about the pi calculus (and Business Process Management)
Towards Automatic Verification of Erlang Programs by Pi-Calculus Translation
Calculi for Mobile Processes -- Bibliography