I am giving two lectures on Pict in the Part II course on Communicating automata and Pi-calculus. Here is a screendump from a Pict application (with thanks to Asis Unyapoth).

Peter.Sewell@cl.cam.ac.uk