s'authentifier
version française rss feed

inria-00071728, version 1

Pi-calculus and LCC, a Space Odyssey

Sylvain Soliman () 1

N° RR-4855 (2003)

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.

  • Domaine : Informatique/Autre
  • Mots-clés : PI-CALCULUS / CONCURRENT CONSTRAINT PROGRAMMING / LINEAR LOGIC
  • Référence interne : RR-4855
 
  • inria-00071728, version 1
  • oai:hal.inria.fr:inria-00071728
  • Contributeur : 
  • Soumis le : Mardi 23 Mai 2006, 18:37:20
  • Dernière modification le : Mercredi 14 Mars 2007, 12:05:01
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...