Interpreting a Finitary Pi-calculus in Differential Interaction Nets.

Thomas Ehrhard, Olivier Laurent

Browse the full CONCUR paper archive.