Pi-calculus and LCC, a Space Odyssey - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Année : 2003

Pi-calculus and LCC, a Space Odyssey

Sylvain Soliman

Résumé

We present a translation of the asynchronous pi-calculus into linear concurrent constraint languages (LCC), and use that translation and the recent advances in the logical semantics of LCC to give an account of the restriction operator in Intuitionistic Linear Logic. This allows us to express as a Linear Logic theory, a notion of space similar to what has recently been introduced by Gabbay and Pitts in modal logics. It also permits to relate more closely the pi-calculus and CC paradigms that people have wanted to compare for a long time.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-4855.pdf (238.6 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00071728 , version 1 (23-05-2006)

Identifiants

  • HAL Id : inria-00071728 , version 1

Citer

Sylvain Soliman. Pi-calculus and LCC, a Space Odyssey. [Research Report] RR-4855, INRIA. 2003. ⟨inria-00071728⟩
101 Consultations
137 Téléchargements

Partager

More