Speaker: | Thomas Ehrhard (joint work with Olivier Laurent)
|
||
Quando: | 16/04/2007 - 13:30
|
||
Dove: | AUla 12, Facoltà Lettere e Filosofia, Università Roma Tre
|
||
Abstract
We propose a translation of a pi-calculus without sums nor replication/recursion into an untyped and essentially promotion-free version of differential interaction nets. We define a transition system of labeled processes and a transition system of labeled differential interaction nets. We prove that our translation from processes to nets is a bisimulation between these two transition systems. This shows that differential interaction nets are sufficiently expressive for representing concurrency and mobility, as formalized by the pi-calculus. |