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