Reading material

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

Additional material

stringlist