Reading material

Pages 1-6 of Pict: A Programming Language Based on the Pi-Calculus1

1

Additional material

Programming in the Pi-Calculus: A Tutorial Introduction to Pict
boolean.pi

To compile the Pict program boolean.pi use

    pict -o boolean boolean.pi
To run it use
    ./boolean