Symbolic bisimulation for the applied pi calculus (extended abstract)

[DelauneKremerRyan2007abs] Stéphanie Delaune, Steve Kremer and Mark Ryan. Symbolic bisimulation for the applied pi calculus (extended abstract). In International Workshop on Security Issues in Concurrency, Springer. 2007.
Links: [Google] [Google Scholar] [CiteSeer]