Ehrhard, Thomas and Laurent, Olivier - Acyclic Solos and Differential Interaction Nets

lmcs:771 - Logical Methods in Computer Science, September 1, 2010, Volume 6, Issue 3
Acyclic Solos and Differential Interaction Nets

Authors: Ehrhard, Thomas and Laurent, Olivier

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.


Source : oai:arXiv.org:1007.0120
DOI : 10.2168/LMCS-6(3:11)2010
Volume: Volume 6, Issue 3
Published on: September 1, 2010
Submitted on: June 25, 2015
Keywords: Computer Science - Logic in Computer Science,Computer Science - Programming Languages,cs.PL


Share

Browsing statistics

This page has been seen 14 times.
This article's PDF has been downloaded 3 times.