CL-Pi-Calculus is a project mainly written in Common Lisp, it's free.
An interpreter for a language based on the Pi-Calculus
An interpreter for a Pi-Calculus based language written in Common Lisp.