Formal Methods in Computing(Most of the papers antecedent to 1995are 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 » In Typed Lambda Calculi and Applications, 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings Series Lecture Notes in Computer Science Editor(s) Simona Ronchi Della Rocca Volume 4583 Page(s) 148-162 Year 2007 Publisher Springer ISBN number 978-3-540-73227-3 URL http://www.springerlink.com/content/u7142826p4381136/
 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.

 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},
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},
}

 Formal Methods in Computing(Most of the papers antecedent to 1995are 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)