Equivalence Checking for a Finite Higher Order pi-Calculus.

Zining Cao

Browse the full TAP paper archive.