Zining Cao: Equivalence Checking for a Finite Higher Order pi-Calculus. TAP 2008: 30-47