Stéphanie Delaune, Steve Kremer, and Mark D. Ryan. Symbolic bisimulation for the applied pi calculus. In Preliminary Proceedings of the 5th International Workshop on Security Issues in Concurrency (SecCo'07), Lisbon, Portugal, September 2007.
(unavailable)
@inproceedings{DKR-secco07,
address = {Lisbon, Portugal},
author = {Delaune, St{\'e}phanie and Kremer, Steve and
Ryan, Mark D.},
booktitle = {{P}reliminary {P}roceedings of the 5th
{I}nternational {W}orkshop on {S}ecurity {I}ssues in
{C}oncurrency ({SecCo}'07)},
editor = {Goria, Daniele and Palamidessi, Catuscia},
month = sep,
title = {Symbolic bisimulation for the applied pi calculus},
year = {2007},
acronym = {{SecCo}'07},
nmonth = {9},
lsv-category = {autc},
wwwpublic = {perso},
}