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 -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. |
@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},
}
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)