Proof Search Specifications of the pi-calculus