Result: Pi-calculus and LCC, a Space Odyssey
Title:
Pi-calculus and LCC, a Space Odyssey
Authors:
Contributors:
Constraint programming (CONTRAINTES), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), INRIA
Source:
[Research Report] RR-4855, INRIA. 2003
Publisher Information:
CCSD, 2003.
Publication Year:
2003
Collection:
collection:INRIA
collection:INRIA-ROCQ
collection:INRIA-RRRT
collection:INRIA_TEST
collection:TESTALAIN1
collection:INRIA2
collection:LARA
collection:INRIA-ROCQ
collection:INRIA-RRRT
collection:INRIA_TEST
collection:TESTALAIN1
collection:INRIA2
collection:LARA
Subject Terms:
Original Identifier:
HAL:
Document Type:
Report
report<br />Reports
Language:
English
Access URL:
Rights:
info:eu-repo/semantics/OpenAccess
Accession Number:
edshal.inria.00071728v1
Database:
HAL
Further Information
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.