Skip to Main content Skip to Navigation
New interface
Reports (Research report)

Pi-calculus and LCC, a Space Odyssey

Sylvain Soliman 1 
1 CONTRAINTES - Constraint programming
Inria Paris-Rocquencourt
Abstract : 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.
Document type :
Reports (Research report)
Complete list of metadata

Cited literature [1 references]  Display  Hide  Download
Contributor : Rapport De Recherche Inria Connect in order to contact the contributor
Submitted on : Tuesday, May 23, 2006 - 6:37:20 PM
Last modification on : Wednesday, October 26, 2022 - 8:16:31 AM
Long-term archiving on: : Sunday, April 4, 2010 - 10:35:20 PM


  • HAL Id : inria-00071728, version 1



Sylvain Soliman. Pi-calculus and LCC, a Space Odyssey. [Research Report] RR-4855, INRIA. 2003. ⟨inria-00071728⟩



Record views


Files downloads