Some helpful information about the Pi-Calculus can be found at

• Calculi for Mobile Processes
• Luca Cardelli’s Homepage
• The AmbIcobjs Demo