Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

faggian07tlca (In proceedings)
Author(s) Claudia Faggian and Mauro Piccolo
Title« Ludics is a Model for the Finitary Linear Pi-Calculus »
InTyped Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings
SeriesLecture Notes in Computer Science
Editor(s) Simona Ronchi Della Rocca
Volume4583
Page(s)148-162
Year2007
PublisherSpringer
ISBN number978-3-540-73227-3
URLhttp://www.springerlink.com/content/u7142826p4381136/
Abstract
We analyze in game-semantical terms the finitary fragment of the linear π-calculus. This calculus was introduced by Yoshida, Honda, and Berger, and then refined by Honda and Laurent. The features of this calculus - asynchrony and locality in particular - have a precise correspondence in Game Semantics. Building on work by Varacca and Yoshida, we interpret π-processes in linear strategies, that is the strategies introduced by Girard within the setting of Ludics. We prove that the model is fully complete and fully abstract w.r.t. the calculus.

BibTeX code

@inproceedings{faggian07tlca,
  volume = {4583},
  author = {Claudia Faggian and Mauro Piccolo},
  series = {Lecture Notes in Computer Science},
  booktitle = {Typed Lambda Calculi and Applications, 8th International
               Conference, TLCA 2007, Paris, France, June 26-28, 2007,
               Proceedings},
  editor = {Simona Ronchi Della Rocca},
  url = {http://www.springerlink.com/content/u7142826p4381136/},
  isbn = {978-3-540-73227-3},
  title = {Ludics is a Model for the Finitary Linear Pi-Calculus},
  abstract = {We analyze in game-semantical terms the finitary fragment of the
              linear $\pi$-calculus. This calculus was introduced by Yoshida,
              Honda, and Berger, and then refined by Honda and Laurent. The
              features of this calculus - asynchrony and locality in particular
              - have a precise correspondence in Game Semantics. Building on
              work by Varacca and Yoshida, we interpret $\pi$-processes in
              linear strategies, that is the strategies introduced by Girard
              within the setting of Ludics. We prove that the model is fully
              complete and fully abstract w.r.t. the calculus.},
  publisher = {Springer},
  year = {2007},
  pages = {148-162},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!