Pict is a programming language based on the pi-calculus.