Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed query: SELECT sid FROM sessions WHERE sid = '6vpuvh0l50b243145cf3eqne84' in /var/www/church/includes/database.mysql.inc on line 121
Pi-calculus in differential interaction nets | Gruppo di Logica e Geometria della Cognizione

Pi-calculus in differential interaction nets

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.



Warning: Can't find file: 'watchdog' (errno: 2) query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: SELECT sid FROM sessions WHERE sid = '6vpuvh0l50b243145cf3eqne84' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/158', '', '3.236.100.210', 1725973812) in /var/www/church/includes/database.mysql.inc on line 121