Reading material
Benjamin C. Pierce and David N. Turner.
Programming in the Pi-Calculus: A Tutorial Introduction to Pict
. March 1998.
Additional material