@Unpublished{EhrhardLaurent08,
  author = {Thomas Ehrhard and Olivier Laurent},
  title  = {Interpreting a Finitary Pi-Calculus in Differential Interaction Nets},
  note   = {Submitted journal version},
  month  = apr,
  year   = {2008}
}