Acyclic Solos and Differential Interaction Nets - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Logical Methods in Computer Science Année : 2010

Acyclic Solos and Differential Interaction Nets

Thomas Ehrhard
Olivier Laurent

Résumé

We present a restriction of the solos calculus which is stable under reduction and expressive enough to contain an encoding of the pi-calculus. As a consequence, it is shown that equalizing names that are already equal is not required by the encoding of the pi-calculus. In particular, the induced solo diagrams bear an acyclicity property that induces a faithful encoding into differential interaction nets. This gives a (new) proof that differential interaction nets are expressive enough to contain an encoding of the pi-calculus. All this is worked out in the case of finitary (replication free) systems without sum, match nor mismatch.

Dates et versions

hal-00516609 , version 1 (10-09-2010)

Identifiants

Citer

Thomas Ehrhard, Olivier Laurent. Acyclic Solos and Differential Interaction Nets. Logical Methods in Computer Science, 2010, 6 (3), pp.11. ⟨10.2168/LMCS-6(3:11)2010⟩. ⟨hal-00516609⟩
53 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More