Interpreting a Finitary Pi-Calculus in Differential Interaction NetsReportar como inadecuado




Interpreting a Finitary Pi-Calculus in Differential Interaction Nets - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 PPS - Preuves, Programmes et Systèmes 2 IML - Institut de mathématiques de Luminy

Abstract : We propose and study 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.

Keywords : linear logic interaction nets process algebras





Autor: Thomas Ehrhard - Olivier Laurent -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados