@INPROCEEDINGS{pad:fou:06:icalp,
  AUTHOR =       {P. Ad{\~a}o and C. Fournet},
  FULLAUTHOR =   {Pedro Ad{\~a}o and C{\'e}dric Fournet},
  TITLE =        {Cryptographically Sound Implementations for
    Communicating Processes},
  pages =        {83--94},
  crossref =     {ICALP:06},
  note         = {Full version available as Microsoft
    Research Technical Report MSR-TR-2006-49, April 2006}
}

@PROCEEDINGS{ICALP:06,
  BOOKTITLE =    {Proceedings of the 33rd International Colloquium
    on Automata, Languages and Programming (ICALP)},
  YEAR =         {2006},
  editor =       {M. Bugliesi and B. Preneel and V. Sassone and
    I. Wegener},
  fulleditor =   {Michele Bugliesi and Bart Preneel and Vladimiro Sassone
    and Ingo Wegener},
  publisher =    Springer,
  volume =       4052,
  series =       LNCS,
  address =      {Venice, Italy},
  month =        {July 9--16}
}