Seminar: Differential Interaction Nets and True Concurrency