@Article{EhrhardLaurent10a,
  author  = {Thomas Ehrhard and Olivier Laurent},
  title   = {Interpreting a Finitary Pi-Calculus in Differential Interaction Nets},
  journal = {Information and Computation},
  volume  = {208},
  number  = {6},
  pages   = {606--633},
  month   = jun,
  year    = {2010}
}