faggian07tlca (In proceedings)

Author(s)  Claudia Faggian and Mauro Piccolo 
Title  « Ludics is a Model for the Finitary Linear PiCalculus » 
In  Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 2628, 2007, Proceedings 
Series  Lecture Notes in Computer Science 
Editor(s)  Simona Ronchi Della Rocca 
Volume  4583 
Page(s)  148162 
Year  2007 
Publisher  Springer 
ISBN number  9783540732273 
URL  http://www.springerlink.com/content/u7142826p4381136/ 
Abstract 
We analyze in gamesemantical 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. 
@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 2628, 2007,
Proceedings},
editor = {Simona Ronchi Della Rocca},
url = {http://www.springerlink.com/content/u7142826p4381136/},
isbn = {9783540732273},
title = {Ludics is a Model for the Finitary Linear PiCalculus},
abstract = {We analyze in gamesemantical 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 = {148162},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)