Steve Kremer: Symbolic bisimulation for the applied pi calculus

Symbolic bisimulation for the applied pi calculus

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.

Download

[PDF] [PDF (long version)]

Abstract

(unavailable)

BibTeX

@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},
  url =           {http://www.lsv.ens-cachan.fr/Publis/PAPERS/PDF/DKR-secco07.pdf},
}