@InProceedings{EhrhardLaurent07a,
  author    = {Thomas Ehrhard and Olivier Laurent},
  title     = {Interpreting a Finitary Pi-Calculus in Differential Interaction Nets},
  booktitle = {Concurrency Theory (CONCUR~'07)},
  editor    = {Luis Caires and Vasconcelos, Vasco T.},
  series    = {Lecture Notes in Computer Science},
  volume    = {4703},
  pages     = {333--348},
  publisher = {Springer},
  month     = sep,
  year      = {2007}
}