A Complete Symbolic Bisimulation for Full Applied Pi Calculus.

Jia Liu, Huimin Lin

Browse the full SOFSEM paper archive.