@string          {prc = "Proceedings of "}
@InProceedings{odersky:esop2000,
  author = 	 {Martin Odersky},
  title = 	 {Functional Nets},
  booktitle = 	 prc#"the 9th European Symposium on Programming
                  (ESOP'00)",
  pages =	 {1-25},
  year =	 2000,
  series =	 {LNCS~1782},
}

@article         {MPW92,
author       =   "Robin Milner and Joachim Parrow and David Walker",
title        =   {A Calculus of Mobile Processes, parts {I} and {II}},
journal      =   {Information and Computation},
year         =   {1992},
volume       =   {100},
pages        =   {1--40 and 41--77}
}


@inproceedings {AppliedPi,
author     = "Mart{\'i}n Abadi and C{\'e}dric Fournet",
title      = "Mobile Values, New Names, and Secure Communication",
booktitle  = prc#{the 28th ACM SIGPLAN-SIGACT 
              Symposium on Principles of Programming Languages (POPL'01)},
pages      = "104-115",
year       = "2001",
address    = {London, UK}
}
