@InProceedings{EhrhardLaurent06a,
  author    = {Thomas Ehrhard and Olivier Laurent},
  title     = {Embedding the Finitary Pi-calculus in Differential Interaction Nets},
  booktitle = {Third International Workshop on Higher-Order Rewriting},
  editor    = {D. Kesner and van Raamsdonk, F. and M.-O. Stehr},
  pages     = {12--18},
  month     = aug,
  year      = {2006},
  note      = {Electronic proceedings},
  url       = {http://hor.pps.jussieu.fr/06/proc/proc.html}
}