Reading material

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

Additional material

To compile the Pict program printer.pi use
    pict -o printer printer.pi
To run it use
    ./printer

Booleans can be represented in Pict as follows: boolean.pi