Symbolic bisimulation for the applied pi calculus (2007)

by Stéphanie Delaune, Steve Kremer, Mark Ryan
Venue:In Vikraman Arvind and Sanjiva Prasad, editors, Proceedings of FSTTCS 2007, volume 4855 of LNCS