Just Fast Keying in the Pi Calculus (bibtex)
by Martín Abadi, Bruno Blanchet, Cédric Fournet
Reference:
Just Fast Keying in the Pi Calculus (Martín Abadi, Bruno Blanchet, Cédric Fournet), In Programming Languages and Systems: Proceedings of the 13th European Symposium on Programming (ESOP'04) (David Schmidt, ed.), Springer Verlag, volume 2986, 2004.
Bibtex Entry:
@string{lncs="Lecture Notes on Computer Science"}
@string{spv="Springer Verlag"}
@InProceedings{AbadiBlanchetFournetESOP2004,
  author = 	 {Mart{\'\i}n Abadi and Bruno Blanchet and C{\'e}dric Fournet},
  title = 	 {Just Fast Keying in the Pi Calculus},
  booktitle = 	 {Programming Languages and Systems: Proceedings of the
                 13th European Symposium on Programming ({ESOP}'04)},
  pages =	 {340--354},
  year = 	 2004,
  editor = 	 {David Schmidt},
  volume =	 2986,
  series = 	 lncs,
  address = 	 {Barcelona, Spain},
  month = 	 mar,
  publisher = spv,
  url = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/AbadiBlanchetFournetESOP2004.html},
  PDF = {http://prosecco.gforge.inria.fr/personal/bblanche/publications/AbadiBlanchetFournetESOP2004.pdf}
}
Powered by bibtexbrowser